#use"rsa.ml";;
#use"input.ml";;

let rsadecryptCRTopt = bdecCRTopt;;
let rsadecryptopt = bpowmodAddopt;;

Trx.init_times();;

let u1 = Trx.time more "primitive" (fun () -> rsadecrypt c511 d155 n155);;
let u1o = Trx.time more "primitive opt" (fun () -> rsadecryptopt c511 d155 n155);;
let u1c = Trx.time more "CRT" (fun () -> rsadecryptCRT c511 d155 p155 q155 n155);;
let u1oc = Trx.time more "CRT opt" (fun () -> rsadecryptCRTopt c511 p155 q155 n155);;
let s1 = Trx.time less "primitive s1" (fun () -> .< fun x -> .~(rsadecrypt' .<x>. d155 n155) >.);;
let cs = Trx.time less "primitive co" (fun () -> .! s1);;
let s2 = Trx.time more "primitive s2" (fun () -> cs c511);;
let t1 = Trx.time less "t1" (fun () -> .< fun x -> .~(rsadecryptCRT' .<x>. d155 p155 q155 n155) >.);;
let ct = Trx.time less "ct" (fun () -> .! t1);;
let t2 = Trx.time more "t2" (fun () -> ct c511);;

Trx.print_times();;