rewrite1.2s (1.3%)

Algorithm

46×	rewrite-expression-head

Rules

428×	times-frac_binary64_420
415×	add-sqr-sqrt_binary64_435
372×	*-un-lft-identity_binary64_414
335×	add-cube-cbrt_binary64_446
308×	add-exp-log_binary64_449
193×	add-cbrt-cube_binary64_447
188×	add-sqr-sqrt_binary64_772
162×	add-sqr-sqrt_binary64
144×	*-un-lft-identity_binary64_751
135×	*-un-lft-identity_binary64
121×	prod-exp_binary64_460
111×	add-cube-cbrt_binary64_783
109×	associate-*r*_binary64_356
106×	pow1_binary64_135
105×	pow1_binary64_472 add-sqr-sqrt_binary64_98
98×	add-cube-cbrt_binary64
97×	sqrt-prod_binary64_92
94×	pow1_binary64 associate-*r*_binary64_19
88×	sqrt-prod_binary64_766
86×	add-exp-log_binary64_112
81×	add-exp-log_binary64
78×	associate-/r*_binary64_360 sqrt-prod_binary64
76×	add-cbrt-cube_binary64
72×	add-cbrt-cube_binary64_110
71×	associate-*r*_binary64
69×	pow1_binary64_809
68×	associate-*l*_binary64
64×	add-cube-cbrt_binary64_109 *-un-lft-identity_binary64_77 div-exp_binary64_462
63×	associate-*l*_binary64_357
58×	add-log-exp_binary64_450 unpow-prod-down_binary64_490
56×	associate-/l*_binary64_361
53×	pow-prod-down_binary64_145 cbrt-unprod_binary64_444
50×	associate-*l*_binary64_20 add-log-exp_binary64
49×	add-exp-log_binary64_786
43×	times-frac_binary64_757
42×	add-cbrt-cube_binary64_784
41×	sqrt-pow1_binary64_768
40×	pow-prod-down_binary64 cbrt-unprod_binary64_107 unpow-prod-down_binary64_827 prod-exp_binary64_123
34×	add-log-exp_binary64_787 cbrt-undiv_binary64_445
29×	associate-/r/_binary64_362 unswap-sqr_binary64 div-inv_binary64_411
28×	pow-prod-down_binary64_482
27×	prod-exp_binary64 associate-*r*_binary64_693
26×	tan-quot_binary64 log-prod_binary64_834
25×	cbrt-unprod_binary64 times-frac_binary64 cbrt-prod_binary64
23×	pow-to-exp_binary64_480 pow-exp_binary64_479
22×	unswap-sqr_binary64_45
21×	cos-mult_binary64_565 unswap-sqr_binary64_382 pow-unpow_binary64_825
20×	*-commutative_binary64_347 unpow2_binary64_476 pow1/2_binary64_828 sqr-pow_binary64_386
19×	add-log-exp_binary64_113 sin-mult_binary64_566
18×	distribute-lft-out--_binary64_368 distribute-lft-out--_binary64_705 exp-prod_binary64_800 difference-of-squares_binary64_383 cbrt-prod_binary64_779
17×	clear-num_binary64_413 unswap-sqr_binary64_719 log-pow_binary64_837 frac-2neg_binary64_425
16×	*-commutative_binary64_10
15×	flip3--_binary64_418 associate-*l*_binary64_694 swap-sqr_binary64_718 flip--_binary64_389 difference-of-squares_binary64_720 *-commutative_binary64
14×	distribute-lft-out_binary64 sqrt-pow1_binary64
13×	sqrt-pow1_binary64_94 associate--l+_binary64_690 pow-exp_binary64_816
12×	cbrt-prod_binary64_105 sqr-pow_binary64_723 pow1/2_binary64 cbrt-div_binary64_780
11×	associate-/r*_binary64_697 associate-/l*_binary64_698
9×	pow-to-exp_binary64_817 pow1/3_binary64 pow-prod-up_binary64_818 exp-diff_binary64_796 prod-exp_binary64_797
8×	associate-/l*_binary64 exp-neg_binary64_795 sub-div_binary64_421 pow1/2_binary64_154 neg-sub0_binary64_746 frac-sub_binary64_423
7×	cbrt-div_binary64
6×	sqrt-unprod_binary64 flip3-+_binary64 associate-/l/_binary64 associate-/r*_binary64 swap-sqr_binary64 diff-log_binary64 distribute-lft-out--_binary64 diff-log_binary64_503 sum-log_binary64 pow1/3_binary64_830 sub-neg_binary64_407 rec-exp_binary64_461 1-exp_binary64_455 flip-+_binary64
5×	sub-neg_binary64 flip3--_binary64 pow-sqr_binary64_724 frac-sub_binary64 pow-prod-down_binary64_819 pow-pow_binary64_820 flip--_binary64
4×	associate-/r/_binary64 unpow-prod-down_binary64 difference-of-squares_binary64 flip3--_binary64_755 flip--_binary64_726 associate-/l/_binary64_363 exp-sum_binary64_794 associate-*l/_binary64_696 rem-sqrt-square_binary64_764 associate-*r/_binary64_358
3×	cbrt-undiv_binary64_782 rem-log-exp_binary64_789 associate-*r/_binary64 pow-unpow_binary64_488 clear-num_binary64_750 *-commutative_binary64_684 div-inv_binary64_748 frac-2neg_binary64_762 diff-log_binary64_840 cbrt-unprod_binary64_781 swap-sqr_binary64_381 sqrt-unprod_binary64_96 sub-neg_binary64_744 +-commutative_binary64 frac-times_binary64 div-exp_binary64_799 associate-*l/_binary64
2×	cos-2_binary64_553 inv-pow_binary64_496 associate-/l/_binary64_700 rem-exp-log_binary64_788 pow-flip_binary64_485 sqrt-div_binary64_93 clear-num_binary64 associate-+r-_binary64 unpow2_binary64 cbrt-undiv_binary64 frac-add_binary64 div-sub_binary64_419 associate-/r/_binary64_699 associate-+r+_binary64 tan-sum_binary64 frac-2neg_binary64 associate-*r/_binary64_21 div-inv_binary64 pow-sqr_binary64 div-exp_binary64 pow-prod-up_binary64 sqr-pow_binary64 cos-sum_binary64_545
1×	pow-to-exp_binary64 pow-plus_binary64_474 flip-+_binary64_51 div-sub_binary64_756 pow-plus_binary64_811 pow-exp_binary64 pow-prod-up_binary64_481 pow-plus_binary64 pow-sqr_binary64_387 pow2_binary64_829 un-div-inv_binary64_412 rem-square-sqrt_binary64_763 pow2_binary64_492 pow-pow_binary64_483 pow2_binary64 flip3-+_binary64_80 associate--l+_binary64 sqrt-unprod_binary64_770

Calls

124 calls:

18.0ms	(-.f64 (+.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) x) (tan.f64 a))
17.0ms	(*.f64 r (/.f64 1 (-.f64 (/.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b)) (sin.f64 a))))
16.0ms	(+.f64 x (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))
15.0ms	(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (pow.f64 c 2) (*.f64 (*.f64 x (pow.f64 s 2)) x)))
15.0ms	(-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a))