rewrite1.3s (1.3%)

Algorithm

46×	rewrite-expression-head

Rules

404×	unpow-prod-down_binary64_846
317×	add-sqr-sqrt_binary64_789
293×	add-sqr-sqrt_binary64_445
281×	add-exp-log_binary64_461
267×	cbrt-prod_binary64_798
251×	*-un-lft-identity_binary64_423
231×	add-cube-cbrt_binary64_458
215×	add-exp-log_binary64_117 *-un-lft-identity_binary64_767
213×	times-frac_binary64_429
190×	add-cbrt-cube_binary64_459
181×	add-cube-cbrt_binary64_802
148×	add-sqr-sqrt_binary64
139×	prod-exp_binary64_128
132×	*-un-lft-identity_binary64
122×	prod-exp_binary64_472
119×	pow1_binary64_140
116×	add-sqr-sqrt_binary64_101
110×	pow1_binary64_484
106×	times-frac_binary64_773
104×	associate-*r*_binary64_19
96×	add-cbrt-cube_binary64_115 sqr-pow_binary64_739
95×	associate-*r*_binary64_363
93×	add-exp-log_binary64
87×	add-cube-cbrt_binary64
81×	cbrt-unprod_binary64_112
77×	pow1_binary64
72×	cbrt-prod_binary64_110
69×	associate-*l*_binary64_364
68×	unswap-sqr_binary64_735 add-cube-cbrt_binary64_114 *-un-lft-identity_binary64_79
66×	add-cbrt-cube_binary64
60×	add-log-exp_binary64
59×	pow-prod-down_binary64_150
58×	add-log-exp_binary64_462
57×	associate-*l*_binary64
56×	associate-*l*_binary64_20 cbrt-unprod_binary64_456
55×	add-exp-log_binary64_805 sqrt-prod_binary64
54×	pow1_binary64_828
51×	associate-*r*_binary64
49×	associate-/r*_binary64_367
46×	sqrt-prod_binary64_95
45×	associate-/l*_binary64_368
44×	unpow-prod-down_binary64
43×	div-exp_binary64_474
40×	add-cbrt-cube_binary64_803
38×	prod-exp_binary64 add-log-exp_binary64_806
36×	pow-unpow_binary64_844
32×	pow-prod-down_binary64_494 unpow-prod-down_binary64_158
30×	cbrt-unprod_binary64
29×	pow-prod-down_binary64 associate-/l*_binary64_712 cbrt-undiv_binary64_457
28×	exp-prod_binary64_819 associate-/r/_binary64_369 unswap-sqr_binary64_47
25×	distribute-lft-out_binary64 pow-exp_binary64_835
24×	associate-*r*_binary64_707 swap-sqr_binary64_734 associate-*l*_binary64_708 sin-mult_binary64_578 cos-mult_binary64_577 difference-of-squares_binary64_736
23×	unswap-sqr_binary64 tan-quot_binary64
22×	*-commutative_binary64_354 div-inv_binary64_420 cbrt-prod_binary64
21×	add-log-exp_binary64_118
20×	distribute-rgt-out_binary64 unswap-sqr_binary64_391
19×	pow-to-exp_binary64_492 pow-exp_binary64_491 unpow-prod-down_binary64_502
18×	log-pow_binary64_856 *-commutative_binary64_10 distribute-lft-out--_binary64_719 cancel-sign-sub-inv_binary64
17×	associate-/r*_binary64_711
16×	pow1/3_binary64_849
15×	log-prod_binary64_853 clear-num_binary64_422 frac-2neg_binary64_434
14×	flip3--_binary64_427 flip--_binary64_398
13×	pow-to-exp_binary64_836 *-commutative_binary64
12×	pow-exp_binary64_147 cancel-sign-sub-inv_binary64_733 pow-to-exp_binary64_148 sqr-pow_binary64
11×	exp-sum_binary64_813 div-exp_binary64_818
10×	distribute-lft-out--_binary64_375 unpow2_binary64 sum-log_binary64 difference-of-squares_binary64_392 frac-sub_binary64_432 cancel-sign-sub-inv_binary64_389 sub-div_binary64_430
8×	associate-+r+_binary64 sqrt-pow1_binary64_97
7×	flip3-+_binary64 diff-log_binary64 difference-of-squares_binary64 distribute-lft-out--_binary64 sqr-pow_binary64_395 flip-+_binary64
6×	sub-neg_binary64_416 sub-neg_binary64 sqrt-prod_binary64_783 sqr-pow_binary64_51 diff-log_binary64_515 sqrt-pow1_binary64 times-frac_binary64 +-commutative_binary64 pow-pow_binary64_839 associate--l+_binary64_704 div-inv_binary64_764
5×	frac-2neg_binary64_778 cbrt-undiv_binary64_801 frac-sub_binary64 exp-prod_binary64 clear-num_binary64_766
4×	diff-log_binary64_859 distribute-rgt1-in_binary64 flip3--_binary64 pow1/2_binary64 pow-prod-down_binary64_838 rem-exp-log_binary64_807 sub-neg_binary64_760 pow-prod-up_binary64_837 flip--_binary64_742 flip--_binary64 distribute-lft1-in_binary64 pow-sqr_binary64_740 unpow2_binary64_144 associate-*l/_binary64 flip3--_binary64_771
3×	associate-/r*_binary64 associate-/l/_binary64_370 pow-to-exp_binary64 unpow2_binary64_488 frac-add_binary64 sqrt-prod_binary64_439 pow-exp_binary64 rem-exp-log_binary64 associate-*r/_binary64_365 rem-log-exp_binary64_808 swap-sqr_binary64_390 pow1/2_binary64_159
2×	count-2_binary64 rem-sqrt-square_binary64_780 cos-sum_binary64_557 pow2_binary64_848 cbrt-unprod_binary64_800 associate-/r/_binary64_713 associate-+r-_binary64 associate-/l/_binary64_714 cbrt-undiv_binary64 prod-exp_binary64_816 associate-*r/_binary64 *-commutative_binary64_698 div-sub_binary64_428 tan-sum_binary64 cos-2_binary64_565 pow1/2_binary64_847 sqrt-div_binary64_96 associate-*r/_binary64_21 exp-diff_binary64_815 sqrt-pow1_binary64_785 div-exp_binary64 cube-prod_binary64_795 pow-plus_binary64_830 frac-times_binary64 sqrt-div_binary64
1×	sqrt-unprod_binary64 associate-/l/_binary64 associate-+l-_binary64 exp-sum_binary64 flip-+_binary64_53 clear-num_binary64 div-sub_binary64_772 pow-sqr_binary64_396 sqr-abs_binary64_438 associate-/l*_binary64 rem-sqrt-square_binary64_436 exp-diff_binary64 pow-plus_binary64_486 pow1/2_binary64_503 frac-2neg_binary64 rem-sqrt-square_binary64 div-inv_binary64 sqrt-pow1_binary64_441 pow2_binary64_504 pow-prod-up_binary64_493 flip3-+_binary64_82

Calls

125 calls:

26.0ms	(*.f64 (*.f64 (*.f64 x (pow.f64 (cbrt.f64 (sqrt.f64 2)) 2)) (*.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 2))) (cbrt.f64 (cbrt.f64 (sqrt.f64 2))))) (cbrt.f64 (cbrt.f64 (sqrt.f64 2))))
25.0ms	(*.f64 (cbrt.f64 (pow.f64 (pow.f64 (pow.f64 l (pow.f64 (exp.f64 w) 2/3)) (cbrt.f64 (pow.f64 (exp.f64 w) 2/3))) (cbrt.f64 (cbrt.f64 (exp.f64 w))))) (cbrt.f64 (pow.f64 (pow.f64 (pow.f64 l (pow.f64 (exp.f64 w) 2/3)) (cbrt.f64 (pow.f64 (exp.f64 w) 2/3))) (cbrt.f64 (cbrt.f64 (exp.f64 w))))))
24.0ms	(*.f64 (*.f64 (*.f64 x (pow.f64 (cbrt.f64 (sqrt.f64 2)) 2)) (*.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 2))) (cbrt.f64 (cbrt.f64 (sqrt.f64 2))))) (cbrt.f64 (cbrt.f64 (sqrt.f64 2))))
22.0ms	(-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (/.f64 (*.f64 (tan.f64 y) (sin.f64 z)) (cos.f64 z)))) (tan.f64 a))
20.0ms	(exp.f64 (+.f64 (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)) x))