rewrite1.2s (1.2%)

Algorithm

46×	rewrite-expression-head

Rules

319×	pow1_binary64_135
290×	add-exp-log_binary64_449
289×	add-sqr-sqrt_binary64_435
248×	*-un-lft-identity_binary64_414
246×	sqrt-pow1_binary64_94
228×	add-cube-cbrt_binary64_446
210×	times-frac_binary64_420
192×	add-cbrt-cube_binary64_447
151×	pow-prod-down_binary64_145
137×	add-exp-log_binary64
132×	add-sqr-sqrt_binary64_772
131×	add-sqr-sqrt_binary64
127×	*-un-lft-identity_binary64_751
123×	add-sqr-sqrt_binary64_98
122×	prod-exp_binary64_460
120×	add-cbrt-cube_binary64
112×	pow1_binary64_472 sqrt-prod_binary64_92
103×	*-un-lft-identity_binary64 pow1_binary64
97×	add-cube-cbrt_binary64_783
95×	associate-*r*_binary64_356
87×	add-exp-log_binary64_112
78×	add-cube-cbrt_binary64
70×	associate-*r*_binary64_19 add-cube-cbrt_binary64_109 *-un-lft-identity_binary64_77
69×	associate-*l*_binary64_357
68×	associate-*r*_binary64
66×	add-cbrt-cube_binary64_110
65×	associate-*l*_binary64
60×	sqrt-prod_binary64
58×	add-log-exp_binary64_450 associate-/r*_binary64_360
56×	cbrt-unprod_binary64_444
54×	prod-exp_binary64
53×	associate-*l*_binary64_20
52×	times-frac_binary64_757 cbrt-unprod_binary64
49×	pow1/2_binary64_154
48×	associate-*l/_binary64 div-exp_binary64_462
42×	pow-prod-down_binary64
41×	add-exp-log_binary64_786
40×	add-cbrt-cube_binary64_784 tan-quot_binary64
39×	cbrt-unprod_binary64_107 pow1_binary64_809 prod-exp_binary64_123
38×	add-log-exp_binary64 associate-/l*_binary64_361
35×	pow-prod-up_binary64_144 add-log-exp_binary64_787
34×	sqrt-div_binary64_93
33×	cbrt-prod_binary64_779
32×	pow-prod-down_binary64_482
30×	cbrt-undiv_binary64_445
29×	associate-/r/_binary64_362
25×	unswap-sqr_binary64
24×	cos-mult_binary64_565 cbrt-prod_binary64 sin-mult_binary64_566
23×	unswap-sqr_binary64_45 add-log-exp_binary64_113 div-inv_binary64_411
22×	*-commutative_binary64_347 associate-*r/_binary64_21
21×	pow-sqr_binary64_50
20×	cbrt-prod_binary64_105 unswap-sqr_binary64_382 frac-sub_binary64
19×	associate-/l/_binary64
18×	pow-to-exp_binary64_480 cbrt-div_binary64_780 swap-sqr_binary64_44 log-prod_binary64_834 pow-exp_binary64_479
17×	flip3--_binary64 flip--_binary64 *-commutative_binary64
16×	clear-num_binary64_413 distribute-lft-out--_binary64_705 frac-2neg_binary64_425
14×	flip3--_binary64_418 *-commutative_binary64_10 associate-/l*_binary64 associate-/r*_binary64_697 times-frac_binary64 flip--_binary64_389 associate-/l*_binary64_698 difference-of-squares_binary64_720
13×	exp-prod_binary64_800 unpow-prod-down_binary64_827
12×	cbrt-undiv_binary64 div-exp_binary64
11×	exp-diff_binary64_796 pow1/3_binary64_830
10×	distribute-lft-out--_binary64_368 flip-+_binary64_51 difference-of-squares_binary64_383 exp-neg_binary64_795 sub-div_binary64_421 log-pow_binary64_837 exp-sum_binary64_794 neg-sub0_binary64_746 flip3-+_binary64_80 frac-sub_binary64_423
9×	sqrt-prod_binary64_766 pow-unpow_binary64_825
8×	distribute-lft-out_binary64 distribute-lft-out--_binary64 associate-*r/_binary64
7×	flip3-+_binary64 associate-/r/_binary64 associate-*r*_binary64_693 unpow-prod-down_binary64_490 flip-+_binary64
6×	unpow-prod-down_binary64 diff-log_binary64_503 associate--l+_binary64_690 frac-add_binary64 cube-div_binary64 sub-neg_binary64_407 frac-times_binary64
5×	sqr-pow_binary64_723
4×	cbrt-undiv_binary64_782 pow-to-exp_binary64_817 associate-/r*_binary64 clear-num_binary64 clear-num_binary64_750 div-inv_binary64_748 frac-times_binary64_87 rec-exp_binary64_461 sqrt-pow1_binary64 frac-2neg_binary64_762 1-exp_binary64_455 frac-2neg_binary64 pow-exp_binary64_816 div-inv_binary64 sqr-pow_binary64 div-exp_binary64_799
3×	unswap-sqr_binary64_719 sub-neg_binary64 associate-*l*_binary64_694 inv-pow_binary64_496 distribute-lft-in_binary64_702 rem-exp-log_binary64_788 diff-log_binary64 difference-of-squares_binary64 pow-flip_binary64_485 flip3--_binary64_755 pow-exp_binary64 pow-pow_binary64_820 flip--_binary64_726 pow-unpow_binary64 div-sub_binary64 cbrt-div_binary64 prod-exp_binary64_797 swap-sqr_binary64_381 unpow2_binary64_476 associate-*r/_binary64_358 sqr-pow_binary64_386 distribute-rgt-in_binary64_703
2×	rem-square-sqrt_binary64_89 pow2_binary64_155 cos-2_binary64_553 rem-log-exp_binary64_789 pow-to-exp_binary64 associate-/l/_binary64_700 pow1/2_binary64 rem-sqrt-square_binary64_90 pow-plus_binary64_137 unpow2_binary64 div-sub_binary64_419 associate-/r/_binary64_699 unpow3_binary64 sum-log_binary64 cube-mult_binary64 associate-/l/_binary64_363 associate-*l/_binary64_22 tan-sum_binary64 diff-log_binary64_840 rem-cube-cbrt_binary64 sin-mult_binary64 sqrt-unprod_binary64_96 sub-neg_binary64_744 pow-pow_binary64 associate-*l/_binary64_696 sqrt-pow1_binary64_768 rem-sqrt-square_binary64_764 cube-prod_binary64 pow1/2_binary64_828 cos-sum_binary64_545
1×	exp-to-pow_binary64_810 pow-plus_binary64_474 associate-+r-_binary64 div-sub_binary64_756 rem-cbrt-cube_binary64 cos-mult_binary64 pow1/3_binary64 *-commutative_binary64_684 pow-prod-up_binary64_481 associate-+r+_binary64 pow-sqr_binary64_387 cbrt-unprod_binary64_781 +-commutative_binary64 pow2_binary64_492

Calls

128 calls:

31.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)))
23.0ms	(*.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (+.f64 x x)))) (sqrt.f64 (sqrt.f64 (*.f64 x (+.f64 x x)))))
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)))
17.0ms	(*.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 2 x)))) (sqrt.f64 (sqrt.f64 (*.f64 x (*.f64 2 x)))))
17.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)))