rewrite26.1s (3.4%)

Algorithm

891×	rewrite-expression-head

Calls

2535 calls:

229.0ms	(*.f64 (/.f64 (/.f64 (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y))) (*.f64 (cbrt.f64 y) (cbrt.f64 y))) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 x (/.f64 (cbrt.f64 z) (/.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 y)))))
113.0ms	(-.f64 x (/.f64 (/.f64 (-.f64 y z) (+.f64 (-.f64 t z) 1.0)) (/.f64 1 a)))
104.0ms	(/.f64 (-.f64 (*.f64 (*.f64 z (sqrt.f64 (+.f64 t a))) (*.f64 (*.f64 t 3.0) (-.f64 a (/.f64 5.0 6.0)))) (*.f64 t (*.f64 (-.f64 b c) (-.f64 (*.f64 (+.f64 a (/.f64 5.0 6.0)) (*.f64 (*.f64 t 3.0) (-.f64 a (/.f64 5.0 6.0)))) (*.f64 2.0 (-.f64 a (/.f64 5.0 6.0))))))) (*.f64 t (*.f64 (*.f64 t 3.0) (-.f64 a (/.f64 5.0 6.0)))))
104.0ms	(*.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) z) (/.f64 (cbrt.f64 x) (/.f64 z (/.f64 y (+.f64 z 1.0)))))
80.0ms	(-.f64 (-.f64 1.0 (/.f64 1.0 (*.f64 x 9.0))) (/.f64 1 (/.f64 (sqrt.f64 x) (/.f64 y 3.0))))

Rules

45270×	times-frac_binary64
39732×	*-un-lft-identity_binary64
37061×	add-sqr-sqrt_binary64
26404×	add-cube-cbrt_binary64
11194×	add-exp-log_binary64
9033×	add-cbrt-cube_binary64
7554×	cbrt-prod_binary64
7467×	associate-*r*_binary64
7171×	associate-*r/_binary64
6654×	pow1_binary64
5129×	sqrt-prod_binary64
4704×	flip3--_binary64 flip--_binary64
4021×	associate-*l*_binary64
3842×	add-log-exp_binary64
3801×	associate-/r*_binary64
3724×	frac-times_binary64
3647×	distribute-lft-out--_binary64
3534×	difference-of-squares_binary64
3520×	distribute-lft-out_binary64
3127×	prod-exp_binary64
2916×	associate-*l/_binary64
2911×	cbrt-div_binary64
2703×	cbrt-unprod_binary64
2574×	div-exp_binary64
2377×	flip3-+_binary64 flip-+_binary64
2331×	associate-/r/_binary64
2184×	div-inv_binary64
2160×	associate-/l*_binary64
2097×	frac-sub_binary64
1947×	cbrt-undiv_binary64
1889×	pow-prod-down_binary64
1539×	sqrt-div_binary64
1399×	unswap-sqr_binary64
1296×	unpow-prod-down_binary64
1237×	log-prod_binary64
1014×	frac-add_binary64
987×	associate-/l/_binary64
950×	swap-sqr_binary64
941×	distribute-rgt-in_binary64 distribute-lft-in_binary64
918×	pow1/3_binary64
821×	*-commutative_binary64
752×	cube-prod_binary64
712×	sub-neg_binary64
537×	clear-num_binary64 frac-2neg_binary64
483×	sum-log_binary64
480×	sqrt-pow1_binary64
433×	distribute-rgt-out_binary64
344×	associate--l+_binary64
313×	associate-+r+_binary64
304×	pow1/2_binary64
303×	pow-prod-up_binary64
283×	+-commutative_binary64
266×	rec-exp_binary64 1-exp_binary64
264×	sqr-pow_binary64
254×	diff-log_binary64
232×	log-pow_binary64
229×	pow-sqr_binary64
208×	associate-+l+_binary64
164×	pow-unpow_binary64
144×	distribute-rgt1-in_binary64 pow-exp_binary64
141×	count-2_binary64 distribute-lft1-in_binary64
119×	sub-div_binary64
118×	cube-div_binary64
110×	rem-sqrt-square_binary64
107×	exp-prod_binary64 div-sub_binary64
103×	pow-plus_binary64
96×	pow2_binary64
92×	pow-to-exp_binary64
85×	pow-pow_binary64
73×	tanh-def-a_binary64 tanh-def-b_binary64 tanh-def-c_binary64
71×	pow-flip_binary64
63×	log-div_binary64
62×	unpow3_binary64 cube-mult_binary64 inv-pow_binary64
55×	associate--r+_binary64
54×	rem-log-exp_binary64
48×	exp-sum_binary64
43×	rem-cube-cbrt_binary64
41×	un-div-inv_binary64
31×	associate-+r-_binary64 distribute-rgt-out--_binary64
30×	associate-+l-_binary64
24×	rem-cbrt-cube_binary64
21×	sqrt-unprod_binary64 cosh-def_binary64
20×	sinh-def_binary64
18×	distribute-lft-neg-in_binary64 distribute-rgt-neg-in_binary64 rem-square-sqrt_binary64
16×	unpow-prod-up_binary64
14×	difference-cubes_binary64 rem-exp-log_binary64
13×	distribute-rgt-neg-out_binary64 pow-sub_binary64
12×	unpow2_binary64
9×	sqrt-undiv_binary64 associate--l-_binary64 exp-diff_binary64 unsub-neg_binary64
7×	sum-cubes_binary64
6×	sqrt-pow2_binary64 neg-mul-1_binary64 exp-to-pow_binary64 associate--r-_binary64 tan-quot_binary64
5×	diff-cos_binary64
4×	e-exp-1_binary64 unpow1/3_binary64
3×	cos-diff_binary64
2×	neg-sub0_binary64 cube-neg_binary64 sin-mult_binary64 exp-neg_binary64
1×	cos-sum_binary64