rewrite1.2s (1.3%)

Algorithm

46×	rewrite-expression-head

Rules

697×	times-frac_binary64_429
527×	add-sqr-sqrt_binary64_445
487×	*-un-lft-identity_binary64_423
467×	add-cube-cbrt_binary64_458
326×	pow1_binary64_140
306×	add-exp-log_binary64_461
255×	sqrt-pow1_binary64_97
202×	add-cbrt-cube_binary64_459
151×	pow-prod-down_binary64_150
142×	add-sqr-sqrt_binary64
139×	add-sqr-sqrt_binary64_789
134×	*-un-lft-identity_binary64_767
132×	*-un-lft-identity_binary64
128×	add-sqr-sqrt_binary64_101
126×	add-exp-log_binary64
120×	prod-exp_binary64_472
117×	sqrt-prod_binary64_95
109×	add-cbrt-cube_binary64
106×	pow1_binary64_484
104×	add-cube-cbrt_binary64_802
97×	associate-/l*_binary64_368
95×	associate-*r*_binary64_363
92×	pow1_binary64
91×	add-cube-cbrt_binary64
76×	add-exp-log_binary64_117
72×	add-cube-cbrt_binary64_114 *-un-lft-identity_binary64_79
69×	sqrt-prod_binary64
64×	associate-/r*_binary64_367
63×	associate-*l*_binary64_364 div-exp_binary64_474
61×	add-cbrt-cube_binary64_115 associate-*r*_binary64
60×	associate-*r*_binary64_19
58×	add-log-exp_binary64_462
56×	associate-*l*_binary64
54×	cbrt-unprod_binary64_456
52×	times-frac_binary64_773 pow1/2_binary64_159
49×	associate-*l*_binary64_20
48×	prod-exp_binary64 cbrt-prod_binary64_798 associate-*l/_binary64
46×	cbrt-unprod_binary64 div-inv_binary64_420
42×	add-exp-log_binary64_805
40×	pow1_binary64_828 add-cbrt-cube_binary64_803 tan-quot_binary64
39×	add-log-exp_binary64 cbrt-undiv_binary64_457
38×	unpow-prod-down_binary64
37×	pow-prod-down_binary64
35×	pow-prod-up_binary64_149
34×	sqrt-div_binary64_96
33×	add-log-exp_binary64_806
30×	pow-prod-down_binary64_494 cbrt-unprod_binary64_112 prod-exp_binary64_128
25×	associate-/r/_binary64_369 add-log-exp_binary64_118
24×	distribute-lft-out_binary64 sqrt-prod_binary64_783 cbrt-prod_binary64
23×	unswap-sqr_binary64
22×	associate-*r/_binary64_21 unswap-sqr_binary64_47
21×	pow-sqr_binary64_52 cbrt-prod_binary64_110
20×	frac-sub_binary64 distribute-rgt-out_binary64 *-commutative_binary64_354
19×	associate-/l/_binary64 unswap-sqr_binary64_391
18×	pow-to-exp_binary64_492 swap-sqr_binary64_46 pow-exp_binary64_491 clear-num_binary64_422 frac-2neg_binary64_434 cbrt-div_binary64_799
17×	flip3--_binary64 flip--_binary64
16×	unpow-prod-down_binary64_846 distribute-lft-out--_binary64_719
15×	*-commutative_binary64
14×	associate-/l*_binary64 cos-mult_binary64_577 associate-/r*_binary64_711 times-frac_binary64 difference-of-squares_binary64_736 associate-/l*_binary64_712 cancel-sign-sub-inv_binary64_389
13×	flip3--_binary64_427 flip--_binary64_398
12×	exp-prod_binary64_819 *-commutative_binary64_10 cbrt-undiv_binary64 sin-mult_binary64_578 log-prod_binary64_853 pow-unpow_binary64_844 div-exp_binary64 sqr-pow_binary64
11×	pow1/3_binary64_849 exp-diff_binary64_815
10×	distribute-lft-out--_binary64_375 log-pow_binary64_856 flip-+_binary64_53 unpow2_binary64 neg-sub0_binary64_762 exp-neg_binary64_814 difference-of-squares_binary64_392 unpow-prod-down_binary64_158 sqrt-div_binary64_784 flip3-+_binary64_82
9×	flip3-+_binary64 flip-+_binary64
8×	distribute-lft-out--_binary64 associate-*r/_binary64
7×	associate-*r*_binary64_707 associate-/r/_binary64 exp-sum_binary64_813 cancel-sign-sub-inv_binary64 unpow-prod-down_binary64_502
6×	sub-neg_binary64_416 sqr-pow_binary64_739 frac-add_binary64 diff-log_binary64_515 cancel-sign-sub-inv_binary64_733 cube-div_binary64 sqrt-pow1_binary64 rem-sqrt-square_binary64_92 frac-times_binary64 associate--l+_binary64_704
5×	pow-to-exp_binary64_836 pow-exp_binary64_835 frac-sub_binary64_432 sub-div_binary64_430
4×	1-exp_binary64_467 associate-/r*_binary64 associate-/l/_binary64_370 frac-2neg_binary64_778 distribute-rgt1-in_binary64 cbrt-undiv_binary64_801 pow1/2_binary64 clear-num_binary64 div-exp_binary64_818 frac-times_binary64_89 associate-+r+_binary64 distribute-lft1-in_binary64 rec-exp_binary64_473 associate-*r/_binary64_365 frac-2neg_binary64 div-inv_binary64 clear-num_binary64_766 pow-pow_binary64_839 div-inv_binary64_764
3×	unswap-sqr_binary64_735 sub-neg_binary64 associate-*l*_binary64_708 pow-unpow_binary64_156 diff-log_binary64 difference-of-squares_binary64 unpow2_binary64_488 prod-exp_binary64_816 flip--_binary64_742 pow-exp_binary64 sum-log_binary64 pow-unpow_binary64 div-sub_binary64 cbrt-div_binary64 swap-sqr_binary64_390 sqr-pow_binary64_395 flip3--_binary64_771
2×	count-2_binary64 rem-sqrt-square_binary64_780 cos-sum_binary64_557 diff-log_binary64_859 pow-to-exp_binary64 rem-square-sqrt_binary64_91 associate-/r/_binary64_713 associate-*l/_binary64_710 associate-/l/_binary64_714 rem-exp-log_binary64_807 sqrt-unprod_binary64_99 sub-neg_binary64_760 unpow3_binary64 div-sub_binary64_428 cube-mult_binary64 pow-pow_binary64_151 associate-*l/_binary64_22 pow2_binary64_160 tan-sum_binary64 sqr-abs_binary64_94 cos-2_binary64_565 rem-log-exp_binary64_808 rem-cube-cbrt_binary64 pow1/2_binary64_847 sin-mult_binary64 sqrt-pow1_binary64_785 pow-pow_binary64 +-commutative_binary64 pow-plus_binary64_142 cube-prod_binary64 sqrt-div_binary64
1×	sqrt-unprod_binary64 pow-exp_binary64_147 cbrt-unprod_binary64_800 associate-+r-_binary64 rem-cbrt-cube_binary64 sqr-pow_binary64_51 div-sub_binary64_772 cos-mult_binary64 pow1/3_binary64 pow-sqr_binary64_396 sqr-abs_binary64_438 inv-pow_binary64_508 *-commutative_binary64_698 pow-plus_binary64_486 pow-to-exp_binary64_148 pow-flip_binary64_497 rem-sqrt-square_binary64 pow1/3_binary64_161 pow2_binary64_504 pow-prod-up_binary64_493

Calls

129 calls:

34.0ms	(/.f64 (-.f64 (+.f64 (/.f64 (*.f64 (cos.f64 a) (sin.f64 z)) (cos.f64 z)) (+.f64 (/.f64 (*.f64 (sin.f64 a) (*.f64 (sin.f64 y) (sin.f64 z))) (*.f64 (cos.f64 y) (cos.f64 z))) (/.f64 (*.f64 (cos.f64 a) (sin.f64 y)) (cos.f64 y)))) (sin.f64 a)) (*.f64 (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))) (cos.f64 a)))
21.0ms	(/.f64 (-.f64 (*.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (cos.f64 a)) (*.f64 (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))) (sin.f64 a))) (*.f64 (-.f64 1 (cbrt.f64 (pow.f64 (*.f64 (tan.f64 y) (tan.f64 z)) 3))) (cos.f64 a)))
20.0ms	(*.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (+.f64 x x)))) (sqrt.f64 (sqrt.f64 (*.f64 x (+.f64 x x)))))
18.0ms	(/.f64 (/.f64 1 (/.f64 (fabs.f64 (*.f64 s (*.f64 c x))) (cos.f64 (*.f64 x 2)))) (fabs.f64 (*.f64 s (*.f64 c x))))
18.0ms	(/.f64 (-.f64 (*.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (cos.f64 a)) (*.f64 (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))) (sin.f64 a))) (*.f64 (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))) (cos.f64 a)))