rewrite5.3s (2.4%)

Algorithm

144×	rewrite-expression-head

Calls

477 calls:

267.0ms	(-.f64 (pow.f64 (/.f64 (pow.f64 x0 3) (pow.f64 (-.f64 1.0 x1) 6)) 3) (pow.f64 (pow.f64 x0 3) 3))
71.0ms	(-.f64 (/.f64 (pow.f64 x0 3) (pow.f64 (-.f64 1.0 x1) 6)) (pow.f64 x0 3))
55.0ms	(*.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (/.f64 a1 (/.f64 b1 (/.f64 (cbrt.f64 a2) b2))))
50.0ms	(*.f64 R (sqrt.f64 (+.f64 (*.f64 (*.f64 (-.f64 lambda1 lambda2) (-.f64 lambda1 lambda2)) (+.f64 1/2 (*.f64 (cos.f64 (*.f64 (/.f64 (+.f64 phi1 phi2) 2.0) 2)) 1/2))) (*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2)))))
48.0ms	(*.f64 (sqrt.f64 (/.f64 2.0 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))) (sqrt.f64 (/.f64 2.0 (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))

Rules

7576×	times-frac_binary64
6064×	add-sqr-sqrt_binary64
5879×	*-un-lft-identity_binary64
4202×	add-cube-cbrt_binary64
2630×	add-exp-log_binary64
1760×	flip--_binary64
1759×	flip3--_binary64
1708×	frac-times_binary64
1670×	add-cbrt-cube_binary64
1132×	sqrt-div_binary64
1066×	pow1_binary64
1044×	frac-add_binary64
1017×	associate-*l/_binary64
909×	associate-*r/_binary64
880×	associate-*r*_binary64
851×	unpow-prod-down_binary64
846×	cbrt-prod_binary64
844×	div-exp_binary64
800×	prod-exp_binary64
788×	difference-of-squares_binary64
742×	associate-/r*_binary64
734×	add-log-exp_binary64
707×	associate-/l*_binary64
551×	cube-prod_binary64
538×	distribute-lft-out_binary64
493×	flip-+_binary64
492×	flip3-+_binary64
412×	sqrt-prod_binary64
409×	sqr-pow_binary64
394×	cbrt-unprod_binary64
387×	cbrt-undiv_binary64
375×	associate-*l*_binary64
337×	div-inv_binary64
315×	log-prod_binary64
306×	pow-exp_binary64
287×	associate-/r/_binary64
285×	distribute-lft-out--_binary64
242×	pow-prod-down_binary64
222×	pow-to-exp_binary64
161×	unswap-sqr_binary64
120×	distribute-rgt-neg-in_binary64
119×	distribute-lft-neg-in_binary64 neg-mul-1_binary64
118×	clear-num_binary64 frac-2neg_binary64
114×	sub-neg_binary64
97×	log-pow_binary64
95×	*-commutative_binary64
83×	cos-mult_binary64
80×	diff-log_binary64
76×	swap-sqr_binary64
75×	associate--l+_binary64
74×	associate-/l/_binary64
66×	pow-unpow_binary64
65×	cbrt-div_binary64
64×	sum-log_binary64
63×	exp-prod_binary64
62×	rec-exp_binary64 1-exp_binary64
55×	log-div_binary64
53×	associate--r+_binary64
52×	cosh-undef_binary64 div-sub_binary64
51×	pow1/2_binary64 sqrt-pow1_binary64
41×	pow1/3_binary64
39×	+-commutative_binary64
38×	rem-sqrt-square_binary64
35×	unpow2_binary64
34×	unpow3_binary64 cube-mult_binary64 cube-div_binary64
33×	pow-pow_binary64
28×	rem-log-exp_binary64
27×	frac-sub_binary64 distribute-rgt-in_binary64 pow-prod-up_binary64 distribute-lft-in_binary64
25×	pow-sqr_binary64
24×	associate-+r+_binary64
22×	distribute-frac-neg_binary64
17×	sin-mult_binary64
15×	sin-diff_binary64
14×	tan-quot_binary64
13×	associate--l-_binary64 pow-plus_binary64
12×	neg-sub0_binary64 cos-diff_binary64
11×	pow-flip_binary64 sin-cos-mult_binary64
10×	pow2_binary64
9×	acos-asin_binary64 rem-cube-cbrt_binary64
8×	sinh-def_binary64 rem-cbrt-cube_binary64 inv-pow_binary64 sinh-undef_binary64
7×	associate-+l+_binary64
6×	associate-+r-_binary64 asin-acos_binary64 associate--r-_binary64
5×	cos-sum_binary64
4×	sin-sum_binary64
3×	associate-+l-_binary64 acos-neg_binary64 distribute-rgt-out_binary64 rem-exp-log_binary64 exp-diff_binary64 un-div-inv_binary64 distribute-lft-neg-out_binary64
2×	sqrt-unprod_binary64 exp-sum_binary64 sqr-cos-a_binary64
1×	difference-cubes_binary64 distribute-rgt1-in_binary64 tanh-def-a_binary64 tanh-undef_binary64 sum-cubes_binary64 exp-to-pow_binary64 neg-log_binary64 rem-square-sqrt_binary64 tanh-def-b_binary64 tanh-def-c_binary64