rewrite27.0s (3.3%)

Algorithm

890×	rewrite-expression-head

Rules

45270×	times-frac_binary64
39720×	*-un-lft-identity_binary64
37055×	add-sqr-sqrt_binary64
26404×	add-cube-cbrt_binary64
11216×	add-exp-log_binary64
9055×	add-cbrt-cube_binary64
7560×	cbrt-prod_binary64
7468×	associate-*r*_binary64
7165×	associate-*r/_binary64
6674×	pow1_binary64
5122×	sqrt-prod_binary64
4702×	flip3--_binary64 flip--_binary64
4008×	associate-*l*_binary64
3847×	add-log-exp_binary64
3801×	associate-/r*_binary64
3724×	frac-times_binary64
3642×	distribute-lft-out--_binary64
3533×	difference-of-squares_binary64
3517×	distribute-lft-out_binary64
3144×	prod-exp_binary64
2912×	associate-*l/_binary64
2911×	cbrt-div_binary64
2720×	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
1906×	pow-prod-down_binary64
1539×	sqrt-div_binary64
1397×	unswap-sqr_binary64
1296×	unpow-prod-down_binary64
1240×	log-prod_binary64
1014×	frac-add_binary64
987×	associate-/l/_binary64
950×	swap-sqr_binary64
938×	distribute-rgt-in_binary64 distribute-lft-in_binary64
917×	pow1/3_binary64
821×	*-commutative_binary64
752×	cube-prod_binary64
707×	sub-neg_binary64
537×	clear-num_binary64 frac-2neg_binary64
487×	sum-log_binary64
480×	sqrt-pow1_binary64
433×	distribute-rgt-out_binary64
344×	associate--l+_binary64
317×	associate-+r+_binary64
304×	pow1/2_binary64
303×	pow-prod-up_binary64
284×	+-commutative_binary64
266×	rec-exp_binary64 1-exp_binary64
264×	sqr-pow_binary64
254×	diff-log_binary64
230×	log-pow_binary64
229×	pow-sqr_binary64
209×	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-+l-_binary64 associate-+r-_binary64 distribute-rgt-out--_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

Calls

2535 calls:

232.0ms	(+.f64 (/.f64 60.0 (/.f64 (-.f64 z t) (-.f64 x y))) (*.f64 a 120.0))
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)))))
221.0ms	(+.f64 (-.f64 (*.f64 (-.f64 x 0.5) (log.f64 x)) x) 0.91893853320467)
112.0ms	(*.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) z) (/.f64 (cbrt.f64 x) (/.f64 z (/.f64 y (+.f64 z 1.0)))))
109.0ms	(-.f64 x (/.f64 (/.f64 (-.f64 y z) (+.f64 (-.f64 t z) 1.0)) (/.f64 1 a)))