rewrite5.1s (2.3%)

Algorithm

145×	rewrite-expression-head

Calls

483 calls:

60.0ms	(*.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (/.f64 a1 (/.f64 b1 (/.f64 (cbrt.f64 a2) b2))))
57.0ms	(*.f64 (cbrt.f64 (+.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x))) (cbrt.f64 (+.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x))))
48.0ms	(/.f64 (*.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s))))) c_n)) (*.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))) c_n)))
43.0ms	(*.f64 R (sqrt.f64 (+.f64 (*.f64 (*.f64 (-.f64 lambda1 lambda2) (-.f64 lambda1 lambda2)) (+.f64 1/2 (*.f64 (-.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (*.f64 (sin.f64 phi1) (sin.f64 phi2))) 1/2))) (*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2)))))
42.0ms	(*.f64 R (sqrt.f64 (+.f64 (*.f64 (*.f64 (-.f64 lambda1 lambda2) (-.f64 lambda1 lambda2)) (+.f64 1/2 (*.f64 (cos.f64 (+.f64 phi1 phi2)) 1/2))) (*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2)))))

Rules

7010×	times-frac_binary64
6158×	*-un-lft-identity_binary64
5700×	add-sqr-sqrt_binary64
4147×	add-cube-cbrt_binary64
2989×	add-exp-log_binary64
1750×	flip--_binary64
1749×	flip3--_binary64
1701×	frac-times_binary64
1616×	add-cbrt-cube_binary64
1138×	sqrt-div_binary64
1102×	associate-*r/_binary64
1086×	cbrt-prod_binary64
1084×	prod-exp_binary64
1053×	frac-add_binary64
1033×	div-exp_binary64
1012×	associate-*l/_binary64
991×	pow1_binary64
835×	associate-*r*_binary64
833×	associate-/r*_binary64
766×	difference-of-squares_binary64
748×	add-log-exp_binary64
724×	pow-exp_binary64
543×	distribute-lft-out_binary64
514×	flip-+_binary64
513×	flip3-+_binary64
448×	associate-*l*_binary64
443×	associate-/l*_binary64
402×	div-inv_binary64
374×	pow-to-exp_binary64
372×	cbrt-unprod_binary64
369×	cbrt-undiv_binary64
364×	sqrt-prod_binary64
324×	unpow-prod-down_binary64
321×	distribute-lft-out--_binary64
279×	associate-/r/_binary64
232×	log-prod_binary64
191×	pow-prod-down_binary64
158×	cube-prod_binary64
151×	unswap-sqr_binary64
146×	rec-exp_binary64 1-exp_binary64
144×	sqr-pow_binary64
131×	log-pow_binary64
121×	sub-neg_binary64
113×	clear-num_binary64 frac-2neg_binary64
101×	*-commutative_binary64
99×	cbrt-div_binary64
87×	diff-log_binary64
85×	swap-sqr_binary64 exp-prod_binary64
83×	cos-mult_binary64
72×	associate-/l/_binary64 log-div_binary64
67×	unpow2_binary64
63×	sum-log_binary64
58×	associate--l+_binary64
57×	difference-of-sqr-1_binary64
54×	pow1/3_binary64 pow-unpow_binary64
48×	cosh-undef_binary64
47×	div-sub_binary64
41×	pow1/2_binary64 sqrt-pow1_binary64
38×	unpow3_binary64 cube-mult_binary64 rem-sqrt-square_binary64
35×	+-commutative_binary64
34×	cube-div_binary64
33×	associate--r+_binary64 distribute-rgt-out_binary64 pow-pow_binary64
28×	distribute-rgt-in_binary64 distribute-lft-in_binary64
26×	rem-log-exp_binary64
24×	associate-+r+_binary64
21×	frac-sub_binary64
18×	sin-mult_binary64
17×	pow-flip_binary64
16×	cos-diff_binary64 pow-sqr_binary64 associate--r-_binary64 pow-prod-up_binary64
15×	sin-diff_binary64
14×	associate--l-_binary64 asin-acos_binary64 tan-quot_binary64
13×	inv-pow_binary64
12×	acos-asin_binary64
11×	distribute-rgt1-in_binary64 pow-plus_binary64 sin-cos-mult_binary64
10×	rem-cube-cbrt_binary64 cos-sum_binary64 pow2_binary64
8×	sinh-def_binary64 rem-cbrt-cube_binary64 sinh-undef_binary64
7×	difference-of-sqr--1_binary64 associate-+l+_binary64
6×	associate-+r-_binary64 distribute-frac-neg_binary64
4×	exp-diff_binary64
3×	associate-+l-_binary64 exp-sum_binary64 acos-neg_binary64 rem-exp-log_binary64 sin-sum_binary64
2×	sqr-cos-a_binary64 asin-neg_binary64 un-div-inv_binary64
1×	sqrt-unprod_binary64 neg-sub0_binary64 tanh-def-a_binary64 tanh-undef_binary64 exp-to-pow_binary64 distribute-rgt-neg-in_binary64 neg-log_binary64 tanh-def-b_binary64 distribute-rgt-out--_binary64 tanh-def-c_binary64