rewrite1.1s (1.4%)

Algorithm

46×	rewrite-expression-head

Rules

308×	pow1_binary64_139
290×	add-exp-log_binary64_457
262×	add-sqr-sqrt_binary64_441
246×	sqrt-pow1_binary64_96
213×	*-un-lft-identity_binary64_419 add-cube-cbrt_binary64_454
200×	add-cbrt-cube_binary64_455
192×	sqrt-prod_binary64_94
171×	times-frac_binary64_425
162×	add-sqr-sqrt_binary64_782
160×	add-sqr-sqrt_binary64
152×	add-sqr-sqrt_binary64_100
148×	sqrt-prod_binary64
142×	pow-prod-down_binary64_149
136×	*-un-lft-identity_binary64_760
128×	prod-exp_binary64_468
125×	pow1_binary64_480
121×	*-un-lft-identity_binary64
116×	add-exp-log_binary64
113×	add-cbrt-cube_binary64
106×	add-cube-cbrt_binary64_795 associate-*r*_binary64_359
101×	pow1_binary64
98×	associate-*l*_binary64
96×	add-cube-cbrt_binary64
92×	associate-*r*_binary64_18
85×	add-cube-cbrt_binary64_113 *-un-lft-identity_binary64_78
84×	unpow-prod-down_binary64_839
81×	associate-*l*_binary64_360
79×	associate-*r*_binary64
76×	add-cbrt-cube_binary64_114 add-exp-log_binary64_116
71×	associate-*l*_binary64_19
62×	cbrt-unprod_binary64_452
56×	add-log-exp_binary64
55×	add-exp-log_binary64_798
49×	pow1/2_binary64_158 pow1_binary64_821
47×	add-log-exp_binary64_458
45×	prod-exp_binary64 pow-unpow_binary64_837
43×	cbrt-unprod_binary64
40×	pow-prod-down_binary64 div-exp_binary64_470 cbrt-prod_binary64_791
39×	sqrt-prod_binary64_776 associate-/l*_binary64_364
38×	pow-prod-down_binary64_490 add-cbrt-cube_binary64_796
35×	pow-prod-up_binary64_148 associate-/r*_binary64_363
34×	times-frac_binary64_766 sqrt-div_binary64_95
33×	add-log-exp_binary64_799
30×	cbrt-unprod_binary64_111 prod-exp_binary64_127 pow-exp_binary64_828
27×	cbrt-undiv_binary64_453 unswap-sqr_binary64_46
26×	*-commutative_binary64_350
25×	unswap-sqr_binary64
24×	unswap-sqr_binary64_387 associate-/r/_binary64_365 associate-*r*_binary64_700 add-log-exp_binary64_117
22×	associate-*r/_binary64_20 pow-exp_binary64_487
21×	pow-sqr_binary64_51 cancel-sign-sub-inv_binary64
20×	div-inv_binary64_416 sin-mult_binary64_574 pow-to-exp_binary64_488 sqr-pow_binary64_732
18×	swap-sqr_binary64_45 *-commutative_binary64
17×	tan-quot_binary64
16×	distribute-lft-out--_binary64_712 pow-to-exp_binary64_829 cbrt-prod_binary64_450
15×	*-commutative_binary64_9
14×	difference-of-squares_binary64_729
13×	clear-num_binary64_418 frac-2neg_binary64_430 cos-mult_binary64_573
12×	unswap-sqr_binary64_728 associate-+r+_binary64 associate-*l*_binary64_701 log-prod_binary64_846
11×	unpow-prod-down_binary64_498
10×	flip-+_binary64_52 flip3-+_binary64_81
9×	prod-exp_binary64_809 pow1/3_binary64_842
8×	associate-/l*_binary64_705 associate-/r*_binary64_704 pow-pow_binary64_832
7×	sub-neg_binary64 exp-sum_binary64_806 flip3--_binary64_423 diff-log_binary64 difference-of-squares_binary64 distribute-lft-out_binary64 distribute-lft-out--_binary64 flip--_binary64_394 sqr-pow_binary64_391 sum-log_binary64 rem-sqrt-square_binary64_773 times-frac_binary64 sqrt-pow1_binary64_778
6×	exp-prod_binary64_812 cancel-sign-sub-inv_binary64_726 rem-sqrt-square_binary64_91 cbrt-undiv_binary64 pow-unpow_binary64_496 frac-sub_binary64_428 cube-div_binary64_448 swap-sqr_binary64_727 div-exp_binary64 associate--l+_binary64_697
5×	flip3-+_binary64 frac-sub_binary64 flip-+_binary64
4×	associate-/l/_binary64 associate-*l/_binary64_703 cube-prod_binary64_447 flip3--_binary64 cbrt-div_binary64_451 unpow-prod-down_binary64 pow-pow_binary64_491 pow1/2_binary64_840 cube-mult_binary64_449 associate-/l*_binary64 flip--_binary64 log-pow_binary64_849 sqrt-pow1_binary64 unpow3_binary64_485 rem-cube-cbrt_binary64_442 +-commutative_binary64 sub-div_binary64_426 frac-times_binary64_88
3×	log-pow_binary64_508 associate-+r-_binary64 swap-sqr_binary64_386 exp-diff_binary64_808 unpow2_binary64_484 associate-*r/_binary64_361 sin-cos-mult_binary64 cbrt-unprod_binary64_793 log-prod_binary64_505 *-commutative_binary64_691 flip--_binary64_735 flip3--_binary64_764
2×	exp-neg_binary64_807 cbrt-undiv_binary64_794 sqr-abs_binary64_93 pow1/3_binary64_501 associate-/r*_binary64 rem-square-sqrt_binary64_90 cos-2_binary64_561 associate-/r/_binary64 associate-*l/_binary64_21 associate-/l/_binary64_707 pow1/2_binary64 clear-num_binary64 unpow2_binary64 cos-mult_binary64 pow-plus_binary64_141 associate-*r/_binary64 rem-exp-log_binary64_800 frac-add_binary64 neg-sub0_binary64_755 rem-cbrt-cube_binary64_443 pow2_binary64_159 cos-sum_binary64_553 tan-sum_binary64 frac-2neg_binary64_771 diff-log_binary64_852 rem-log-exp_binary64_801 frac-2neg_binary64 sin-mult_binary64 associate-/r/_binary64_706 pow-prod-up_binary64_830 clear-num_binary64_759 div-inv_binary64 pow-sqr_binary64_733 sub-neg_binary64_753 pow-prod-down_binary64_831 sqrt-unprod_binary64_98 div-exp_binary64_811 frac-times_binary64 sqr-pow_binary64 associate-*l/_binary64 div-sub_binary64_424 div-inv_binary64_757
1×	1-exp_binary64_463 pow2_binary64_841 pow-to-exp_binary64 div-sub_binary64_765 exp-to-pow_binary64_481 pow-plus_binary64_823 sqr-abs_binary64_434 inv-pow_binary64_504 pow-exp_binary64 pow2_binary64_500 associate-/l/_binary64_366 rec-exp_binary64_469 pow-plus_binary64_482 pow-flip_binary64_493 rem-log-exp_binary64_460 pow-sqr_binary64_392 pow-prod-up_binary64_489 exp-prod_binary64_471

Calls

131 calls:

21.0ms	(+.f64 x (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (/.f64 (*.f64 (sin.f64 y) (sin.f64 z)) (*.f64 (cos.f64 y) (cos.f64 z))))) (tan.f64 a)))
21.0ms	(-.f64 (/.f64 (/.f64 (+.f64 (*.f64 (sin.f64 y) (cos.f64 z)) (*.f64 (sin.f64 z) (cos.f64 y))) (*.f64 (cos.f64 y) (cos.f64 z))) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a))
20.0ms	(-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (/.f64 (*.f64 (sin.f64 y) (sin.f64 z)) (*.f64 (cos.f64 y) (cos.f64 z))))) (tan.f64 a))
19.0ms	(*.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (+.f64 x x)))) (sqrt.f64 (sqrt.f64 (*.f64 x (+.f64 x x)))))
17.0ms	(*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 2))) (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 2)) (fabs.f64 x)) (sqrt.f64 (sqrt.f64 (sqrt.f64 2)))))