Date:Thursday, April 8th, 2021
Commit:919ebe9b on master
Hostname:warfa with Racket 7.9
Seed:2021098
Parameters:256 points for 4 iterations
Flags:
setup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:fallback
default

Details

Time bar (total: 2.4min)

sample46.6s (31.8%)

Algorithm
26×intervals
Results
10.7s6424×body8192exit
5.1s17002×body1024valid
2.8s79461×body128valid
1.4s6916×body512valid
1.4s4767×body1024nan
844.0ms24768×pre128true
497.0ms832×body2048valid
436.0ms3117×body256valid
409.0ms2378×body512nan
157.0ms1988×body128invalid
125.0ms1160×body256nan
76.0ms218×body1024invalid
66.0ms269×body512invalid
43.0ms748×body128nan
28.0ms173×body256invalid
13.0ms172×body128overflowed
2.0ms5×body2048nan
1.0ms1×body4096nan
Compiler

Compiled 22986 to 14972 computations (34.9% saved)

series44.3s (30.3%)

Counts
128 → 1028
Calls

83 calls:

7.5s
(+.f64 x (/.f64 (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) 1) (/.f64 (*.f64 (sin.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (cos.f64 a))) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))))
3.1s
(-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) 1) (/.f64 (*.f64 (sin.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (cos.f64 a)))
3.1s
(cbrt.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w)))
2.7s
(/.f64 (-.f64 (*.f64 (cos.f64 a) (+.f64 (tan.f64 y) (tan.f64 z))) (*.f64 (sin.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (*.f64 (cos.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))))
2.0s
(*.f64 (cbrt.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))) (cbrt.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))))
Compiler

Compiled 69936 to 38963 computations (44.3% saved)

analyze27.8s (19%)

Algorithm
13×search
26×egg-herbie
Rules
1729×sqr-pow_binary64
1723×div-sub_binary64_765
1167×associate-/l*_binary64_705
1132×unswap-sqr_binary64_387
1120×unswap-sqr_binary64_728
907×associate-*l*_binary64
892×pow-sqr_binary64
888×sqr-pow_binary64_732
868×unswap-sqr_binary64
751×*-commutative_binary64_691
739×sub-neg_binary64_753
725×associate-/r*_binary64_704
718×unsub-neg_binary64_754
688×distribute-rgt-in_binary64_710
672×associate-/l/_binary64_366
670×distribute-rgt-out_binary64
627×times-frac_binary64_766
603×pow-sqr_binary64_733
601×associate-*l*_binary64_701
567×sqr-pow_binary64_391
564×associate-/l/_binary64_707
510×count-2_binary64
504×distribute-lft-in_binary64_709
503×*-commutative_binary64
488×associate-*r*_binary64
476×associate-*r*_binary64_700
463×associate-/r/_binary64_706
422×cube-prod_binary64
378×exp-prod_binary64_812
318×distribute-rgt-in_binary64
311×cancel-sign-sub-inv_binary64
309×unpow3_binary64
304×cancel-sign-sub-inv_binary64_726
301×cube-mult_binary64
279×distribute-rgt-neg-in_binary64_718
278×*-commutative_binary64_350
275×distribute-neg-frac_binary64_724
273×cube-prod_binary64_788
251×sub-neg_binary64
225×neg-mul-1_binary64_756
210×pow-sqr_binary64_392
200×distribute-lft-neg-in_binary64_717
198×prod-exp_binary64_809
176×rec-exp_binary64_810
174×associate-*l/_binary64_703
170×distribute-lft-out_binary64
167×associate-*r/_binary64_702
164×associate-/r*_binary64_363
160×swap-sqr_binary64_727
150×unpow3_binary64_826
149×distribute-frac-neg_binary64_723
148×distribute-neg-in_binary64_721 neg-sub0_binary64_755
146×unsub-neg_binary64
140×distribute-lft-neg-out_binary64_719
137×associate--r+_binary64
122×associate-*l*_binary64_360
121×rem-sqrt-square_binary64_773
114×cube-mult_binary64_790
112×distribute-rgt-neg-out_binary64_720
110×associate-*r*_binary64_359
108×pow-plus_binary64_823
107×associate--l+_binary64
104×pow-plus_binary64
98×*-lft-identity_binary64_749
96×associate--r+_binary64_696
92×div-exp_binary64_811
91×associate-+l-_binary64
84×neg-mul-1_binary64
83×associate--r-_binary64_699 distribute-rgt-neg-in_binary64
82×associate--r-_binary64
81×distribute-lft-neg-out_binary64 cube-prod_binary64_447 distribute-rgt-out_binary64_713
79×associate--l-_binary64_698
77×/-rgt-identity_binary64_751
74×distribute-neg-in_binary64
71×associate-+l+_binary64 +-commutative_binary64
70×neg-sub0_binary64 associate-+r+_binary64
69×unpow3_binary64_485 cube-mult_binary64_449
56×+-commutative_binary64_690 sub0-neg_binary64
50×exp-diff_binary64_808 remove-double-neg_binary64_748
49×associate-+r-_binary64
45×exp-sum_binary64_806
42×rem-sqrt-square_binary64
40×*-rgt-identity_binary64_750
37×associate-+l-_binary64_695
36×distribute-rgt-neg-out_binary64 distribute-lft-in_binary64
34×*-lft-identity_binary64
31×distribute-rgt-out--_binary64_714 distribute-lft-neg-in_binary64
29×exp-sqrt_binary64_813 associate--l-_binary64
27×mul0-rgt_binary64_743 rem-sqrt-square_binary64_432 remove-double-div_binary64_736
26×div0_binary64_741
25×mul0-lft_binary64_742
23×tan-neg_binary64 unpow1_binary64_818 unpow1/2_binary64_824
22×cube-unmult_binary64_797
21×pow-plus_binary64_482 unpow2_binary64_825
20×distribute-neg-out_binary64 +-rgt-identity_binary64_745
19×--rgt-identity_binary64_746 sub0-neg_binary64_747
17×exp-lft-sqr_binary64_815
16×associate-/l*_binary64_364 cube-unmult_binary64
15×+-rgt-identity_binary64 lft-mult-inverse_binary64_738
14×distribute-neg-out_binary64_722 unpow2_binary64 unpow1_binary64 unpow1/2_binary64
13×remove-double-neg_binary64
12×associate-/r/_binary64_365 unpow1_binary64_477 unpow1/2_binary64_483 +-lft-identity_binary64 unpow2_binary64_484
11×associate-+r+_binary64_692 distribute-lft-out--_binary64 distribute-rgt-out--_binary64 associate-+r-_binary64_694
10×distribute-lft-out_binary64_711 --rgt-identity_binary64 cube-div_binary64_789
7×*-commutative_binary64_9
6×cube-unmult_binary64_456 +-commutative_binary64_349 cancel-sign-sub_binary64_725
5×distribute-rgt1-in_binary64_716 associate-+l+_binary64_693
4×associate-*r/_binary64_361 associate-*l/_binary64_362 associate-*r*_binary64_18 *-rgt-identity_binary64
3×associate-*l*_binary64_19 +-lft-identity_binary64_744 1-exp_binary64_804 *-inverses_binary64_740 rgt-mult-inverse_binary64_737 exp-neg_binary64_807 1-exp_binary64
2×mul-1-neg_binary64_752 distribute-lft1-in_binary64_715 exp-lft-cube_binary64_816 unpow-1_binary64_817 associate--l+_binary64_697 exp-1-e_binary64_803 count-2_binary64_26
1×1-exp_binary64_463 cos-neg_binary64_891 swap-y-z distribute-rgt-out_binary64_31 distribute-lft-out--_binary64_712 swap-c-s rem-square-sqrt_binary64_772
0×hang-0m-tan_binary64_882 sin-PI_binary64_524 hang-m-tan_binary64_204 hang-m-tan_binary64 exp-to-pow_binary64_822 cos-PI/3_binary64 distribute-neg-out_binary64_40 tan-+PI/2_binary64_880 exp-sum_binary64_465 1-exp_binary64_122 if-if-and-not_binary64_679 *-rgt-identity_binary64_68 associate-+l+_binary64_352 sin-PI/6_binary64_520 rem-3cbrt-lft_binary64_785 mul-1-neg_binary64 if-if-or-not_binary64_1018 difference-of-squares_binary64_388 sin-+PI/2_binary64_185 cos-+PI_binary64_873 lte-same_binary64_325 cos-neg_binary64_209 distribute-rgt1-in_binary64_34 cos-PI_binary64 not-and hang-p-tan_binary64 distribute-lft-neg-out_binary64_378 gt-same_binary64 hang-p0-tan_binary64 cos-sin-sum_binary64_172 sub-1-cos_binary64_518 cos-+PI_binary64 rem-cube-cbrt_binary64_783 -1-add-sin_binary64_176 unpow0_binary64 sin-PI_binary64 exp-cbrt_binary64 if-not_binary64 *-inverses_binary64_399 sqr-pow_binary64_50 exp-lft-sqr_binary64_474 cancel-sign-sub-inv_binary64_44 sinh-+-cosh_binary64_269 associate-*r/_binary64 rem-log-exp_binary64_460 div0_binary64_400 if-false_binary64_673 gte-same_binary64_326 not-lt_binary64_668 *-inverses_binary64 +-lft-identity_binary64_403 --rgt-identity_binary64_64 lt-same_binary64 if-if-or-not_binary64 if-if-and_binary64_678 log-rec_binary64 difference-of-sqr--1_binary64_390 associate--l+_binary64_15 not-gt_binary64_328 distribute-lft-out_binary64_29 associate-+r-_binary64_353 lft-mult-inverse_binary64_56 sinh-cosh_binary64_950 tan-PI/6_binary64 div-sub_binary64_424 tan-+PI_binary64_879 sqr-abs_binary64_775 cos-PI_binary64_190 sub-1-cos_binary64 distribute-lft-neg-in_binary64_376 swap-sqr_binary64 rem-3cbrt-rft_binary64 +-inverses_binary64 erf-odd_binary64 tan-PI/3_binary64_195 tan-+PI_binary64 remove-double-div_binary64_54 cos-PI_binary64_531 tan-PI/3_binary64 rem-3cbrt-lft_binary64 not-lt_binary64_327 mul0-lft_binary64_60 rec-exp_binary64_469 exp-lft-cube_binary64_134 sin-0_binary64_205 sin-PI/2_binary64_523 hang-m0-tan_binary64_202 tan-neg_binary64_892 hang-m0-tan_binary64_543 rem-exp-log_binary64 not-lte_binary64_670 cos-+PI_binary64_532 -1-add-sin_binary64_858 not-gte_binary64_330 sin-neg_binary64 difference-of-sqr-1_binary64_48 tan-PI_binary64_196 or-false-r lft-mult-inverse_binary64_397 hang-m0-tan_binary64 not-false if-false_binary64_332 div-sub_binary64 remove-double-div_binary64 distribute-lft-out--_binary64_371 if-true_binary64_1013 associate-*r/_binary64_20 tanh-def-c_binary64_267 pow-base-0_binary64 neg-sub0_binary64_414 lft-mult-inverse_binary64 exp-1-e_binary64_121 erfc-erf_binary64_682 rec-exp_binary64_128 hang-m-tan_binary64_886 if-false_binary64 sin-0_binary64_546 div0_binary64_59 rem-square-sqrt_binary64_90 sin-neg_binary64_890 -1-add-sin_binary64_517 if-same_binary64_333 not-gte_binary64_671 cos-PI/4_binary64_187 exp-neg_binary64_125 cancel-sign-sub_binary64_384 sin-PI/3_binary64_522 if-same_binary64_1015 exp-0_binary64_120 log-rec_binary64_166 not-gt_binary64_669 exp-prod_binary64_471 sin-+PI_binary64_866 rem-log-exp_binary64 if-if-and_binary64 unsub-neg_binary64_72 and-false-l sqr-abs_binary64_434 +-inverses_binary64_57 hang-0p-tan_binary64_881 rem-cube-cbrt_binary64_101 1-sub-cos_binary64_173 erf-odd_binary64_1021 distribute-neg-in_binary64_39 if-not_binary64_1016 exp-cbrt_binary64_132 exp-lft-sqr_binary64 sin-+PI_binary64 gte-same_binary64 unpow-1_binary64_476 distribute-rgt-in_binary64_28 cube-neg_binary64_787 cos-PI/4_binary64_528 not-lte_binary64_1011 lt-same_binary64_1005 cube-neg_binary64_105 tan-PI_binary64_878 cos-neg_binary64_550 tan-PI_binary64 sinh-+-cosh_binary64_951 exp-sum_binary64 if-if-and-not_binary64 cos-PI/3_binary64_529 cube-div_binary64 exp-0_binary64_802 sub0-neg_binary64_406 sinh---cosh_binary64_611 if-if-or_binary64_1017 distribute-lft-in_binary64_368 lt-same_binary64_323 swap-sqr_binary64_45 /-rgt-identity_binary64 count-2_binary64_708 div0_binary64 distribute-lft1-in_binary64_374 tanh-def-b_binary64_607 tan-0_binary64 times-frac_binary64_84 sin-0_binary64_887 distribute-rgt-neg-out_binary64_38 difference-of-sqr-1_binary64 rem-cbrt-cube_binary64_102 exp-diff_binary64_467 associate--l+_binary64_356 if-if-and-not_binary64_338 cos-sin-sum_binary64 hang-0m-tan_binary64_541 neg-mul-1_binary64_74 sqr-abs_binary64_93 neg-sub0_binary64_73 pow-base-0_binary64_162 unpow1/3_binary64_145 cos-PI/3_binary64_188 +-commutative_binary64_8 cos-PI/2_binary64_189 distribute-lft1-in_binary64 lte-same_binary64 1-sub-sin_binary64_515 hang-p-tan_binary64_885 tan-PI/4_binary64 rem-3cbrt-rft_binary64_445 if-true_binary64_331 distribute-rgt-neg-out_binary64_379 sinh-def_binary64_945 if-same_binary64_674 distribute-rgt1-in_binary64 *-lft-identity_binary64_67 cos-PI/6_binary64 if-if-and_binary64_1019 associate-*l/_binary64 distribute-lft-out_binary64_370 tanh-def-b_binary64_948 associate-+l-_binary64_354 sinh---cosh_binary64_270 associate--r-_binary64_17 rgt-mult-inverse_binary64_396 erf-odd_binary64_680 hang-p0-tan_binary64_542 +-inverses_binary64_398 associate-+r-_binary64_12 exp-0_binary64 mul0-rgt_binary64_61 erfc-erf_binary64_341 associate-/r*_binary64 hang-p0-tan_binary64_883 exp-prod_binary64 log-E_binary64 sin-PI/4_binary64_862 exp-to-pow_binary64 distribute-lft-out--_binary64_30 sqr-neg_binary64_433 cos-PI/6_binary64_186 tanh-def-b_binary64_266 hang-0m-tan_binary64_200 div-sub_binary64_83 1-sub-sin_binary64_856 tanh-def-c_binary64 if-if-or_binary64_676 log-pow_binary64 and-true-l pow-sqr_binary64_51 erfc-erf_binary64_1023 cos-PI_binary64_872 sin-PI/3_binary64_181 log-rec_binary64_848 div-exp_binary64_470 distribute-neg-frac_binary64_42 cos-0_binary64_206 if-if-and_binary64_337 associate--r+_binary64_355 lte-same_binary64_666 -1-add-cos_binary64_175 log-rec_binary64_507 sin-PI/2_binary64_864 log-div_binary64_847 *-inverses_binary64_58 e-exp-1_binary64_123 sinh-cosh_binary64_268 *-rgt-identity_binary64_409 sub-1-sin_binary64_860 cos-sin-sum_binary64_513 sin-PI/6_binary64_179 exp-cbrt_binary64_473 tan-PI/4_binary64_876 neg-mul-1_binary64_415 distribute-lft-neg-out_binary64_37 or-same -1-add-cos_binary64_516 pow-plus_binary64_141 prod-exp_binary64_468 sin-PI/3_binary64 pow-base-0_binary64_844 cos-neg_binary64 exp-to-pow_binary64_140 gte-same_binary64_667 sub-neg_binary64_71 cube-unmult_binary64_115 cube-div_binary64_448 tan-PI/6_binary64_534 if-true_binary64 tan-+PI/2_binary64_198 sin-+PI_binary64_525 lt-same_binary64_664 tan-0_binary64_548 pow-base-1_binary64 cos-+PI/2_binary64_192 tanh-def-a_binary64_265 if-if-or_binary64_335 cancel-sign-sub_binary64 distribute-neg-in_binary64_380 associate-/l/_binary64_25 e-exp-1_binary64 cos-PI/3_binary64_870 if-if-or-not_binary64_336 difference-of-squares_binary64_47 log-div_binary64_506 unsub-neg_binary64_413 sinh-cosh_binary64_609 rem-sqrt-square_binary64_91 sin-PI/3_binary64_863 not-lte_binary64 rgt-mult-inverse_binary64 associate--r-_binary64_358 sinh-+-cosh_binary64 distribute-rgt-in_binary64_369 difference-of-sqr--1_binary64 sinh---cosh_binary64 cos-PI/2_binary64_530 mul-1-neg_binary64_70 sin-+PI/2_binary64_526 -1-add-cos_binary64_857 exp-sum_binary64_124 sin-neg_binary64_549 gt-same_binary64_324 tanh-def-c_binary64_608 distribute-frac-neg_binary64 tan-+PI_binary64_538 --rgt-identity_binary64_405 rem-3cbrt-lft_binary64_444 unpow0_binary64_819 and-same log-prod_binary64_164 rem-square-sqrt_binary64 log-pow_binary64_849 mul0-rgt_binary64 associate-/l*_binary64 cube-mult_binary64_108 associate-/l*_binary64_23 distribute-neg-frac_binary64 rem-3cbrt-lft_binary64_103 tan-0_binary64_207 unpow-1_binary64 rem-cube-cbrt_binary64_442 distribute-frac-neg_binary64_41 distribute-rgt1-in_binary64_375 associate-/l/_binary64 /-rgt-identity_binary64_69 distribute-lft-neg-in_binary64_35 hang-m-tan_binary64_545 cos-sin-sum_binary64_854 sub0-neg_binary64_65 exp-diff_binary64_126 +-rgt-identity_binary64_63 cosh-def_binary64_605 cancel-sign-sub_binary64_43 lte-same_binary64_1007 log-prod_binary64 if-if-and-not_binary64_1020 erfc-erf_binary64 log-E_binary64_850 /-rgt-identity_binary64_410 or-true-l unpow-1_binary64_135 not-or cube-neg_binary64 tan-PI/3_binary64_877 distribute-rgt-neg-in_binary64_377 e-exp-1_binary64_464 if-same_binary64 rem-log-exp_binary64_119 if-not_binary64_334 prod-exp_binary64_127 if-if-or_binary64 not-gte_binary64_1012 distribute-lft1-in_binary64_33 sqr-neg_binary64 rem-exp-log_binary64_459 tanh-def-a_binary64_606 cos-0_binary64 log-pow_binary64_167 erf-erfc_binary64_1022 distribute-neg-out_binary64_381 distribute-rgt-out_binary64_372 sqr-neg_binary64_774 not-lte_binary64_329 -1-add-cos_binary64 difference-of-sqr--1_binary64_731 tan-PI/4_binary64_194 pow-base-0_binary64_503 div-exp_binary64_129 rem-cube-cbrt_binary64 cos-PI/4_binary64 not-gt_binary64 cos-+PI/2_binary64 distribute-lft-in_binary64_27 not-gte_binary64 exp-neg_binary64_466 tan-0_binary64_889 difference-of-squares_binary64 cancel-sign-sub-inv_binary64_385 distribute-rgt-out--_binary64_32 mul0-lft_binary64_401 rem-cbrt-cube_binary64 log-div_binary64 sin-PI/4_binary64 sin-PI/2_binary64 gt-same_binary64_1006 rem-3cbrt-rft_binary64_104 1-sub-cos_binary64_855 mul0-lft_binary64 sin-PI_binary64_183 1-sub-sin_binary64_174 1-sub-cos_binary64_514 remove-double-neg_binary64_407 exp-0_binary64_461 associate--r+_binary64_14 hang-0m-tan_binary64 log-pow_binary64_508 cosh-def_binary64_946 difference-of-sqr-1_binary64_389 log-E_binary64_509 rem-3cbrt-rft_binary64_786 +-rgt-identity_binary64_404 sinh-def_binary64_604 rec-exp_binary64 pow-base-1_binary64_138 difference-of-sqr-1_binary64_730 cube-div_binary64_107 hang-0p-tan_binary64_540 sinh-+-cosh_binary64_610 log-prod_binary64_505 sub-1-sin_binary64_519 gt-same_binary64_665 sin-PI/6_binary64 sub-1-sin_binary64_178 remove-double-div_binary64_395 associate-/r/_binary64 sin-neg_binary64_208 cos-+PI/2_binary64_874 mul0-rgt_binary64_402 tan-+PI/2_binary64 sin-0_binary64 e-exp-1_binary64_805 tan-PI/6_binary64_875 rem-log-exp_binary64_801 tanh-def-b_binary64 rem-exp-log_binary64_118 distribute-rgt-out--_binary64_373 log-div_binary64_165 not-true unpow1/3_binary64 unpow1/3_binary64_486 swap-sqr_binary64_386 pow-base-1_binary64_479 cube-neg_binary64_446 sin-PI/4_binary64_521 rgt-mult-inverse_binary64_55 cos-PI/2_binary64 erf-erfc_binary64_681 sub-1-cos_binary64_859 hang-p-tan_binary64_203 cos-PI/4_binary64_869 unpow1/2_binary64_142 associate--l-_binary64_357 log-prod_binary64_846 tan-+PI_binary64_197 cos-+PI_binary64_191 if-true_binary64_672 unpow2_binary64_143 sinh-cosh_binary64 sub-1-cos_binary64_177 and-false-r exp-cbrt_binary64_814 difference-of-sqr--1_binary64_49 associate-+l-_binary64_13 exp-sqrt_binary64 if-false_binary64_1014 not-lt_binary64 associate--l-_binary64_16 hang-0p-tan_binary64_199 cube-prod_binary64_106 prod-exp_binary64 sqr-neg_binary64_92 sqr-abs_binary64 1-sub-sin_binary64 sinh---cosh_binary64_952 tanh-def-a_binary64_947 not-not erf-odd_binary64_339 exp-1-e_binary64 tan-neg_binary64_210 *-lft-identity_binary64_408 exp-lft-cube_binary64_475 exp-lft-cube_binary64 exp-to-pow_binary64_481 if-not_binary64_675 rem-cbrt-cube_binary64_784 exp-sqrt_binary64_472 exp-prod_binary64_130 mul-1-neg_binary64_411 sinh-def_binary64_263 tan-PI/4_binary64_535 associate-+l+_binary64_11 tan-PI/6_binary64_193 times-frac_binary64 associate-+r+_binary64_351 exp-diff_binary64 exp-neg_binary64 sin-PI/6_binary64_861 cos-PI/2_binary64_871 rem-exp-log_binary64_800 or-false-l sinh-def_binary64 associate-/r/_binary64_24 exp-1-e_binary64_462 cos-+PI/2_binary64_533 if-if-or-not_binary64_677 tan-PI_binary64_537 associate-/r*_binary64_22 erf-erfc_binary64_340 exp-sqrt_binary64_131 unpow3_binary64_144 cosh-def_binary64 hang-p0-tan_binary64_201 -1-add-sin_binary64 +-inverses_binary64_739 tan-PI/3_binary64_536 unpow1_binary64_136 or-true-r tanh-def-c_binary64_949 erf-erfc_binary64 not-lt_binary64_1009 rem-cbrt-cube_binary64_443 div-exp_binary64 hang-0p-tan_binary64 tan-neg_binary64_551 cos-PI/6_binary64_527 cosh-def_binary64_264 unswap-sqr_binary64_46 sin-PI/4_binary64_180 distribute-rgt-neg-in_binary64_36 sin-+PI/2_binary64_867 rem-square-sqrt_binary64_431 log-E_binary64_168 exp-lft-sqr_binary64_133 cos-0_binary64_547 distribute-frac-neg_binary64_382 tanh-def-a_binary64 hang-m0-tan_binary64_884 difference-of-squares_binary64_729 sin-+PI_binary64_184 remove-double-neg_binary64_66 unpow1/3_binary64_827 associate-+r+_binary64_10 not-gt_binary64_1010 gte-same_binary64_1008 cos-PI/6_binary64_868 unpow0_binary64_137 associate-*l/_binary64_21 +-lft-identity_binary64_62 hang-p-tan_binary64_544 and-true-r tan-+PI/2_binary64_539 count-2_binary64_367 unpow0_binary64_478 cos-0_binary64_888 sin-+PI/2_binary64 pow-base-1_binary64_820 sin-PI/2_binary64_182 distribute-neg-frac_binary64_383 1-sub-cos_binary64 sub-1-sin_binary64 sin-PI_binary64_865 sub-neg_binary64_412 times-frac_binary64_425
Search
TrueOtherFalseIter
0%76.9%23.1%0
0%76.9%23.1%1
0%76.9%23.1%2
25%51.9%23.1%3
34.6%42.3%23.1%4
39.9%37%23.1%5
42.3%33.9%23.8%6
45.6%30.4%24%7
47.2%28.4%24.4%8
49%26.5%24.5%9
50.8%24.3%24.9%10
51.4%23.5%25.1%11
52.1%22.5%25.4%12
52.8%21.6%25.6%13
53%21%25.9%14
Compiler

Compiled 163 to 136 computations (16.6% saved)

regimes11.4s (7.8%)

Compiler

Compiled 131002 to 83405 computations (36.3% saved)

simplify6.6s (4.5%)

Algorithm
75×egg-herbie
Rules
6153×associate-/r*_binary64_363
5914×unswap-sqr_binary64_46
5690×unswap-sqr_binary64
4875×sqr-pow_binary64
4313×sqr-pow_binary64_50
4074×unswap-sqr_binary64_728
3483×associate-/l/_binary64_366
3309×associate-*l*_binary64
3164×associate-/l*_binary64_364
3091×*-commutative_binary64
2941×associate-*l*_binary64_701
2940×associate-*l*_binary64_360
2864×associate-*r*_binary64_700
2801×*-commutative_binary64_350
2795×times-frac_binary64_766
2777×associate-/l*_binary64
2771×associate-*r*_binary64_359
2757×*-commutative_binary64_9
2739×unswap-sqr_binary64_387
2718×associate-/r/_binary64_365
2622×associate-/l/_binary64
2553×associate-*r*_binary64
2542×associate-/l*_binary64_705
2459×cancel-sign-sub-inv_binary64_726
2433×times-frac_binary64
2404×associate-*r*_binary64_18
2344×associate-*l*_binary64_19
2274×*-commutative_binary64_691
2171×pow-sqr_binary64
2159×distribute-rgt-in_binary64
2006×associate-/l/_binary64_25
1943×pow-sqr_binary64_51
1940×cancel-sign-sub-inv_binary64_385
1922×sqr-pow_binary64_391
1877×associate-*l/_binary64_362 associate-+l+_binary64_11
1837×div-sub_binary64_765
1670×log-prod_binary64_164
1663×sqr-pow_binary64_732
1627×associate-/l/_binary64_707
1599×unsub-neg_binary64_754
1584×distribute-rgt-in_binary64_710
1582×associate-/r*_binary64_704
1526×distribute-lft-in_binary64
1497×sub-neg_binary64_753
1491×associate-*l/_binary64_21
1468×log-div_binary64_165
1432×times-frac_binary64_425
1412×associate-*l/_binary64_703
1407×distribute-rgt-neg-in_binary64_718
1405×associate-*r/_binary64_361
1370×sub-neg_binary64_412
1351×associate-/l*_binary64_23
1350×associate-/r/_binary64
1341×cube-prod_binary64
1337×log-div_binary64
1304×exp-prod_binary64_812
1299×cube-prod_binary64_106
1293×distribute-lft-in_binary64_709
1260×distribute-rgt-neg-in_binary64_377
1206×associate-/r*_binary64
1164×distribute-rgt-in_binary64_28
1137×associate-+r+_binary64_10
1128×associate-+l+_binary64_693
1105×distribute-lft-neg-in_binary64_376
1102×distribute-rgt-out_binary64
1058×associate-*r/_binary64_702
1048×neg-mul-1_binary64_756
1042×associate-/r/_binary64_706
1014×distribute-lft-in_binary64_27
996×associate-+r+_binary64_692
994×associate-/r/_binary64_24
986×log-prod_binary64
967×associate-+l+_binary64
959×+-commutative_binary64
934×distribute-rgt-out_binary64_713
930×exp-prod_binary64_130
925×cube-prod_binary64_447
905×unpow3_binary64
895×associate--l+_binary64_697
886×associate-*l/_binary64
878×log-prod_binary64_505
877×log-div_binary64_506 neg-sub0_binary64_755
861×associate-+r+_binary64
841×associate-/r*_binary64_22
831×pow-sqr_binary64_733
819×associate-*r/_binary64_20
807×exp-prod_binary64
805×associate-+l+_binary64_352
792×associate-*r/_binary64
790×distribute-lft-out_binary64_29
785×log-prod_binary64_846
763×sub-neg_binary64_71
757×distribute-rgt-neg-in_binary64_36
751×times-frac_binary64_84
729×unsub-neg_binary64_72 distribute-rgt-out_binary64_31
726×cube-div_binary64_107
722×neg-mul-1_binary64_415
709×exp-prod_binary64_471
706×distribute-lft-neg-in_binary64_717
694×neg-sub0_binary64_414
686×count-2_binary64
682×cancel-sign-sub-inv_binary64_44
674×+-commutative_binary64_349
664×cube-mult_binary64
654×unpow3_binary64_144
635×distribute-lft-neg-in_binary64_35
628×cube-prod_binary64_788
622×associate-+r+_binary64_351
618×distribute-lft-out_binary64
602×cube-div_binary64_448
599×sub-neg_binary64
592×swap-sqr_binary64_45
586×+-commutative_binary64_690
561×swap-sqr_binary64_386
553×log-pow_binary64_849
515×pow-sqr_binary64_392
509×cancel-sign-sub-inv_binary64
508×cube-mult_binary64_108
481×associate--r+_binary64_696
479×neg-sub0_binary64_73
470×neg-mul-1_binary64_74 unpow3_binary64_485
464×distribute-neg-frac_binary64_724 cube-div_binary64
456×exp-sum_binary64_806
445×*-rgt-identity_binary64_409
422×distribute-neg-in_binary64_721
418×cube-mult_binary64_449
409×distribute-lft-neg-out_binary64_719 associate--l+_binary64
405×unpow3_binary64_826
399×distribute-rgt-in_binary64_369
394×associate-+l-_binary64_695
386×div-sub_binary64_424
374×associate--r+_binary64_355
366×associate-+l-_binary64_13
361×distribute-lft-out_binary64_711
360×distribute-rgt-neg-in_binary64
356×prod-exp_binary64_809
352×log-div_binary64_847
351×distribute-rgt-neg-out_binary64_720
345×associate-+l-_binary64
336×swap-sqr_binary64
332×swap-sqr_binary64_727
308×+-commutative_binary64_8
307×neg-mul-1_binary64
304×pow-plus_binary64
303×distribute-rgt-out--_binary64_714 associate--l+_binary64_356
297×*-lft-identity_binary64_408 distribute-lft-neg-in_binary64 rem-sqrt-square_binary64
295×associate-+r-_binary64_12
285×distribute-lft-in_binary64_368 *-lft-identity_binary64_749
284×rem-sqrt-square_binary64_91
283×pow-plus_binary64_141
274×associate--r+_binary64_14
262×distribute-neg-in_binary64_39
256×distribute-lft-neg-out_binary64_37
255×associate--l+_binary64_15
247×neg-sub0_binary64
244×rem-sqrt-square_binary64_773
240×/-rgt-identity_binary64_410
231×*-rgt-identity_binary64_750
225×associate-+l-_binary64_354
221×associate-+r-_binary64_694
219×exp-diff_binary64_808
218×cube-mult_binary64_790
213×associate-+r-_binary64
210×distribute-rgt-out_binary64_372
209×unsub-neg_binary64_413
207×unsub-neg_binary64
206×pow-plus_binary64_823
201×distribute-neg-in_binary64_380
200×distribute-rgt-neg-out_binary64_38
197×distribute-neg-frac_binary64_383
193×cube-div_binary64_789
187×log-pow_binary64_167 count-2_binary64_26
183×rec-exp_binary64_810
179×associate-+r-_binary64_353
177×associate--r-_binary64_358
175×*-rgt-identity_binary64
172×*-lft-identity_binary64_67
169×*-lft-identity_binary64 associate--l-_binary64_698
168×log-pow_binary64
163×cube-unmult_binary64_115
153×div-exp_binary64_811
152×*-rgt-identity_binary64_68 cube-unmult_binary64
140×associate--l-_binary64_357
137×distribute-frac-neg_binary64_723
131×distribute-lft-neg-out_binary64_378
128×distribute-rgt1-in_binary64_34
127×cube-unmult_binary64_797
125×associate--r-_binary64_699
123×distribute-lft-out--_binary64_712 distribute-lft-out--_binary64_30
119×cube-unmult_binary64_456
117×associate--r-_binary64_17
110×log-rec_binary64_166
104×pow-plus_binary64_482
102×rem-sqrt-square_binary64_432
100×/-rgt-identity_binary64_751
99×distribute-rgt-out--_binary64_373 distribute-lft-neg-out_binary64
96×associate--r+_binary64 distribute-rgt1-in_binary64 +-rgt-identity_binary64_745
95×mul0-rgt_binary64 mul0-lft_binary64
94×sub0-neg_binary64_747
93×distribute-neg-in_binary64
91×log-pow_binary64_508
87×unpow1/2_binary64
84×log-rec_binary64
82×log-rec_binary64_507 unpow1/2_binary64_483
81×distribute-lft-out_binary64_370
76×distribute-neg-frac_binary64
74×associate--l-_binary64_16 unpow2_binary64
71×unpow2_binary64_484
69×exp-sum_binary64_124 exp-sqrt_binary64_131
68×distribute-rgt-out--_binary64_32 unpow1_binary64_477
65×distribute-rgt1-in_binary64_716 log-rec_binary64_848
64×unpow1/2_binary64_142
60×distribute-lft1-in_binary64_33
59×exp-to-pow_binary64_822 distribute-rgt-neg-out_binary64
58×remove-double-neg_binary64_748
57×distribute-neg-out_binary64_40 distribute-neg-out_binary64_722
56×unpow1/2_binary64_824 unpow1_binary64
53×unpow2_binary64_143
52×mul0-rgt_binary64_743
50×exp-lft-sqr_binary64_133
48×+-rgt-identity_binary64_404
47×mul0-lft_binary64_742 exp-neg_binary64_807
46×div-sub_binary64 exp-sqrt_binary64
44×unpow1_binary64_818
43×count-2_binary64_708 /-rgt-identity_binary64
42×distribute-lft-out--_binary64_371 sub0-neg_binary64 unpow1/3_binary64_827
41×unpow2_binary64_825
38×rem-log-exp_binary64_801
35×difference-of-squares_binary64_388
34×mul0-lft_binary64_60 prod-exp_binary64_127 --rgt-identity_binary64 remove-double-neg_binary64_66
33×unpow1_binary64_136 mul0-rgt_binary64_61 exp-sum_binary64 exp-to-pow_binary64_140
32×exp-sum_binary64_465 distribute-lft1-in_binary64 exp-sqrt_binary64_472
31×exp-sqrt_binary64_813 prod-exp_binary64 exp-diff_binary64_126 div0_binary64_741
30×--rgt-identity_binary64_746 exp-lft-sqr_binary64 sub0-neg_binary64_406 distribute-rgt-neg-out_binary64_379
27×distribute-lft1-in_binary64_715
26×exp-diff_binary64 mul-1-neg_binary64_752
25×div-sub_binary64_83
23×associate--l-_binary64 remove-double-neg_binary64_407 difference-of-squares_binary64_729
22×exp-lft-sqr_binary64_815 sub0-neg_binary64_65 remove-double-div_binary64_395 rem-exp-log_binary64_800
21×unpow1/3_binary64_145 associate--r-_binary64
20×rem-square-sqrt_binary64_90 difference-of-squares_binary64_47
19×sqr-neg_binary64_774 pow-base-1_binary64_820
17×--rgt-identity_binary64_64 /-rgt-identity_binary64_69 +-lft-identity_binary64_744
16×exp-diff_binary64_467 cancel-sign-sub_binary64_725 1-exp_binary64
15×1-exp_binary64_463
14×distribute-lft-out--_binary64 unpow1/3_binary64 1-exp_binary64_804
13×exp-lft-sqr_binary64_474 +-rgt-identity_binary64_63 remove-double-div_binary64_54 remove-double-div_binary64
12×1-exp_binary64_122 exp-1-e_binary64_462 +-inverses_binary64_57 pow-base-1_binary64 distribute-rgt-out--_binary64
11×rem-square-sqrt_binary64_772 difference-of-squares_binary64 rem-square-sqrt_binary64
9×exp-1-e_binary64_121 exp-1-e_binary64_803
8×+-rgt-identity_binary64 mul-1-neg_binary64_70 cube-neg_binary64_787 count-2_binary64_367
7×rem-3cbrt-lft_binary64 div-exp_binary64 distribute-rgt1-in_binary64_375 rem-3cbrt-lft_binary64_785 +-inverses_binary64_398 exp-1-e_binary64
6×rem-3cbrt-lft_binary64_103 pow-base-1_binary64_138 sqr-abs_binary64 rem-cbrt-cube_binary64_784 +-inverses_binary64_739 remove-double-div_binary64_736 rem-square-sqrt_binary64_431
5×exp-neg_binary64_125 sqr-neg_binary64_92 div-exp_binary64_470 prod-exp_binary64_468 remove-double-neg_binary64
4×mul-1-neg_binary64 rem-3cbrt-lft_binary64_444 lft-mult-inverse_binary64_738 +-lft-identity_binary64_403 distribute-frac-neg_binary64 rem-3cbrt-rft_binary64 rem-exp-log_binary64_118 distribute-neg-out_binary64 *-inverses_binary64_399 difference-of-sqr-1_binary64_730
3×div0_binary64_400 +-lft-identity_binary64 unpow-1_binary64_817 rem-3cbrt-rft_binary64_104 div0_binary64 distribute-lft1-in_binary64_374 sqr-abs_binary64_93 --rgt-identity_binary64_405 *-inverses_binary64_740
2×sqr-neg_binary64_433 exp-lft-cube_binary64_816 log-E_binary64_850 unpow-1_binary64_135 distribute-neg-out_binary64_381 rem-3cbrt-rft_binary64_786 cancel-sign-sub_binary64_384 sqr-abs_binary64_434 cos-neg_binary64_891 cube-neg_binary64_446 rem-3cbrt-rft_binary64_445 *-inverses_binary64
1×if-if-or-not_binary64_1018 rem-cube-cbrt_binary64_783 distribute-frac-neg_binary64_41 cancel-sign-sub_binary64_43 cube-neg_binary64 sqr-neg_binary64 mul0-lft_binary64_401 rec-exp_binary64_128 cube-neg_binary64_105 rem-cbrt-cube_binary64_102 mul0-rgt_binary64_402
0×hang-0m-tan_binary64_882 cos-PI/3_binary64_870 hang-m-tan_binary64_204 if-false_binary64 cos-PI/3_binary64 if-true_binary64_672 sinh-cosh_binary64_609 sin-PI/3_binary64_863 not-lte_binary64 tanh-def-c_binary64_608 sinh-+-cosh_binary64 if-if-and-not_binary64_679 difference-of-sqr--1_binary64 sin-PI/6_binary64_520 tan-0_binary64_207 sin-+PI/2_binary64_526 sin-+PI/2_binary64_185 gt-same_binary64_324 cos-neg_binary64_209 cos-PI_binary64 cos-0_binary64_888 tan-+PI_binary64_538 not-and hang-p-tan_binary64 hang-m0-tan_binary64_543 gt-same_binary64 cos-PI/6_binary64_527 hang-p0-tan_binary64 and-same not-gte_binary64_1012 cos-sin-sum_binary64_172 e-exp-1_binary64_123 tanh-def-a_binary64 -1-add-sin_binary64 sin-PI_binary64 exp-cbrt_binary64 unpow-1_binary64 if-not_binary64 rem-log-exp_binary64_460 if-false_binary64_673 hang-m-tan_binary64_545 gte-same_binary64_326 not-lt_binary64_668 lt-same_binary64 rgt-mult-inverse_binary64_55 lte-same_binary64_325 tan-+PI_binary64 if-if-or-not_binary64 if-if-and_binary64_678 exp-neg_binary64 not-gt_binary64_1010 erfc-erf_binary64_341 cosh-def_binary64_605 difference-of-sqr--1_binary64_390 not-gt_binary64_328 sinh-cosh_binary64_950 tan-PI/6_binary64 cos-0_binary64_206 hang-0p-tan_binary64_199 if-if-and-not_binary64_1020 erfc-erf_binary64 or-true-l tanh-def-a_binary64_606 sqr-abs_binary64_775 cos-PI_binary64_190 not-false not-or +-inverses_binary64 if-not_binary64_1016 tan-PI/3_binary64_195 if-same_binary64 sub-1-cos_binary64 rem-log-exp_binary64_119 if-not_binary64_334 if-if-or-not_binary64_336 cos-PI_binary64_531 tan-PI/3_binary64 if-if-or_binary64 if-same_binary64_1015 hang-0p-tan_binary64_540 tan-+PI/2_binary64_880 sin-PI/4_binary64_862 rem-exp-log_binary64_459 sin-0_binary64_205 sin-PI/2_binary64_523 hang-m-tan_binary64_886 cos-PI/2_binary64_871 cos-0_binary64 erf-erfc_binary64_1022 hang-m0-tan_binary64_202 rem-exp-log_binary64 not-lte_binary64_329 not-lte_binary64_670 cos-+PI_binary64_532 -1-add-cos_binary64 difference-of-sqr--1_binary64_731 -1-add-sin_binary64_858 tan-PI/4_binary64_194 not-gte_binary64_330 sub-1-cos_binary64_518 lte-same_binary64_1007 pow-base-0_binary64_503 sinh-+-cosh_binary64_951 div-exp_binary64_129 rem-cube-cbrt_binary64 cos-neg_binary64_550 cos-PI/4_binary64 difference-of-sqr-1_binary64_48 tan-PI_binary64_196 if-if-or_binary64_335 or-false-r lft-mult-inverse_binary64_397 not-gte_binary64 hang-m0-tan_binary64 cos-PI/2_binary64_530 if-false_binary64_332 sinh---cosh_binary64 lt-same_binary64_1005 if-true_binary64_1013 exp-neg_binary64_466 tan-0_binary64_889 lt-same_binary64_323 tanh-def-c_binary64_267 lft-mult-inverse_binary64 cos-+PI_binary64 rem-cbrt-cube_binary64 erfc-erf_binary64_682 sin-PI/4_binary64 sin-PI/2_binary64 sin-PI_binary64_524 gt-same_binary64_1006 1-sub-cos_binary64_855 sin-0_binary64_546 div0_binary64_59 sin-0_binary64 if-true_binary64 1-sub-sin_binary64_174 1-sub-cos_binary64_514 sin-neg_binary64_890 -1-add-sin_binary64_517 if-same_binary64_333 hang-0m-tan_binary64 cosh-def_binary64_946 unpow0_binary64_819 difference-of-sqr-1_binary64_389 cos-PI/4_binary64_187 exp-0_binary64_120 not-gt_binary64_669 rec-exp_binary64 sin-+PI_binary64_866 if-if-and_binary64 sinh-+-cosh_binary64_610 sub-1-sin_binary64_519 gt-same_binary64_665 sin-PI/6_binary64 sub-1-sin_binary64_178 sin-neg_binary64_549 hang-0p-tan_binary64_881 rem-cube-cbrt_binary64_101 rgt-mult-inverse_binary64_737 1-sub-cos_binary64_173 sin-neg_binary64_208 tan-neg_binary64_892 erf-odd_binary64_1021 cos-+PI/2_binary64_874 tan-PI/3_binary64_877 sin-+PI_binary64 gte-same_binary64 tan-+PI/2_binary64 unpow-1_binary64_476 e-exp-1_binary64_805 cos-PI/4_binary64_528 not-lte_binary64_1011 tan-PI_binary64_878 rem-log-exp_binary64 tan-PI_binary64 not-true and-false-l tan-+PI_binary64_879 unpow1/3_binary64_486 hang-0m-tan_binary64_541 lft-mult-inverse_binary64_56 pow-base-1_binary64_479 not-lt_binary64_327 if-if-and-not_binary64 sin-PI/4_binary64_521 cos-PI/3_binary64_529 cos-PI/2_binary64 erf-erfc_binary64_681 sub-1-cos_binary64_859 exp-0_binary64_802 hang-p-tan_binary64_203 sin-+PI_binary64_184 cos-PI/4_binary64_869 sinh---cosh_binary64_611 tan-neg_binary64 if-if-or_binary64_1017 cos-+PI/2_binary64_192 tan-+PI_binary64_197 cos-+PI_binary64_191 exp-cbrt_binary64_132 tanh-def-b_binary64_607 tan-0_binary64 sinh-cosh_binary64 sub-1-cos_binary64_177 sin-0_binary64_887 and-false-r difference-of-sqr-1_binary64 exp-to-pow_binary64_481 exp-cbrt_binary64_814 difference-of-sqr--1_binary64_49 sin-+PI_binary64_525 if-false_binary64_1014 rgt-mult-inverse_binary64 tanh-def-a_binary64_947 if-if-and-not_binary64_338 cos-sin-sum_binary64 not-lt_binary64 hang-m-tan_binary64 1-sub-sin_binary64 sinh---cosh_binary64_952 pow-base-0_binary64_162 sinh-def_binary64_604 not-not erf-odd_binary64_339 sin-PI/6_binary64_179 cos-PI/2_binary64_189 tan-neg_binary64_210 -1-add-sin_binary64_176 lte-same_binary64 exp-lft-cube_binary64 1-sub-cos_binary64 hang-p-tan_binary64_885 unpow0_binary64 exp-lft-cube_binary64_475 if-true_binary64_331 sinh-def_binary64_945 if-same_binary64_674 tan-PI/4_binary64 e-exp-1_binary64 hang-0m-tan_binary64_200 erf-odd_binary64 if-not_binary64_675 cos-PI/6_binary64 mul-1-neg_binary64_411 tanh-def-b_binary64_948 sinh-def_binary64_263 tan-PI/4_binary64_535 tan-PI/6_binary64_193 tanh-def-b_binary64 erf-odd_binary64_680 hang-p0-tan_binary64_542 if-if-and_binary64_1019 exp-0_binary64 hang-p0-tan_binary64_883 tan-PI/6_binary64_875 log-E_binary64 exp-to-pow_binary64 or-false-l sinh-def_binary64 exp-0_binary64_461 cos-PI/6_binary64_186 tanh-def-b_binary64_266 cos-+PI_binary64_873 cos-+PI/2_binary64_533 1-sub-sin_binary64_856 tanh-def-c_binary64 if-if-or-not_binary64_677 tan-PI_binary64_537 if-if-or_binary64_676 cos-+PI/2_binary64 erf-erfc_binary64_340 erfc-erf_binary64_1023 not-gt_binary64 sin-PI/3_binary64_181 sin-PI_binary64_183 cosh-def_binary64 hang-p0-tan_binary64_201 distribute-neg-frac_binary64_42 sinh---cosh_binary64_270 if-if-and_binary64_337 tan-PI/3_binary64_536 rec-exp_binary64_469 lte-same_binary64_666 -1-add-cos_binary64_175 tanh-def-c_binary64_949 erf-erfc_binary64 sin-PI/2_binary64_864 and-true-l not-lt_binary64_1009 rem-cbrt-cube_binary64_443 hang-0p-tan_binary64 sin-neg_binary64 sinh-cosh_binary64_268 1-sub-sin_binary64_515 tan-neg_binary64_551 pow-base-0_binary64 e-exp-1_binary64_464 cosh-def_binary64_264 log-E_binary64_509 *-inverses_binary64_58 rem-cube-cbrt_binary64_442 sub-1-sin_binary64_860 cos-sin-sum_binary64_513 sin-PI/4_binary64_180 -1-add-cos_binary64_857 sin-+PI/2_binary64_867 log-E_binary64_168 exp-cbrt_binary64_473 tan-PI/4_binary64_876 cos-PI/3_binary64_188 cos-0_binary64_547 distribute-frac-neg_binary64_382 or-same -1-add-cos_binary64_516 cos-PI_binary64_872 hang-m0-tan_binary64_884 sin-PI/3_binary64 pow-base-0_binary64_844 sinh-+-cosh_binary64_269 cos-neg_binary64 gte-same_binary64_1008 cos-PI/6_binary64_868 unpow0_binary64_137 not-gte_binary64_671 gte-same_binary64_667 +-lft-identity_binary64_62 hang-p-tan_binary64_544 tan-PI/6_binary64_534 and-true-r cos-sin-sum_binary64_854 tan-+PI/2_binary64_198 tan-+PI/2_binary64_539 tanh-def-a_binary64_265 unpow0_binary64_478 rgt-mult-inverse_binary64_396 sin-PI/3_binary64_522 lt-same_binary64_664 or-true-r tan-0_binary64_548 sin-+PI/2_binary64 sin-PI/2_binary64_182 exp-lft-cube_binary64_134 sin-PI/6_binary64_861 sub-1-sin_binary64 sin-PI_binary64_865 cancel-sign-sub_binary64
Counts
4120 → 2644
Compiler

Compiled 76 to 54 computations (28.9% saved)

rewrite5.4s (3.7%)

Algorithm
49×rewrite-expression-head
Rules
482×add-sqr-sqrt_binary64_782
423×cbrt-prod_binary64_791
381×times-frac_binary64_766
325×*-un-lft-identity_binary64_760
296×add-exp-log_binary64_457
286×add-cube-cbrt_binary64_795
251×add-sqr-sqrt_binary64_441
236×pow1_binary64_139
204×*-un-lft-identity_binary64_419
194×add-cbrt-cube_binary64_455
193×add-cube-cbrt_binary64_454
168×sqrt-pow1_binary64_96
164×unpow-prod-down_binary64_839
141×add-sqr-sqrt_binary64
137×times-frac_binary64_425
133×prod-exp_binary64_468
132×pow-prod-down_binary64_149
127×add-sqr-sqrt_binary64_100
120×add-exp-log_binary64
118×pow1_binary64_480
106×associate-*r*_binary64_359
94×*-un-lft-identity_binary64
86×add-cbrt-cube_binary64
84×pow1_binary64
83×associate-*r*_binary64_700 add-exp-log_binary64_798
81×add-exp-log_binary64_116
77×add-cube-cbrt_binary64
75×associate-*l*_binary64_701
74×add-cube-cbrt_binary64_113 *-un-lft-identity_binary64_78 sqrt-prod_binary64_94
72×associate-*l*_binary64_360
70×associate-*r*_binary64
69×sqr-pow_binary64_732
68×add-cbrt-cube_binary64_796
67×associate-*r*_binary64_18
65×associate-*l*_binary64
63×associate-*l*_binary64_19 add-cbrt-cube_binary64_114
61×unswap-sqr_binary64_728 cbrt-unprod_binary64_452
58×pow1_binary64_821
56×add-log-exp_binary64_458 swap-sqr_binary64_727
52×prod-exp_binary64
51×pow1/2_binary64_158
43×div-exp_binary64_470
40×associate-/r*_binary64_363 cbrt-unprod_binary64 add-log-exp_binary64
38×exp-prod_binary64_812
36×add-log-exp_binary64_799
35×pow-prod-down_binary64_490 cbrt-prod_binary64_109
34×associate-/l*_binary64_364
33×prod-exp_binary64_127
32×sqrt-prod_binary64 pow-prod-down_binary64
30×tan-quot_binary64
29×log-prod_binary64_846 exp-sum_binary64_806
28×associate-/r/_binary64_365 cbrt-prod_binary64
27×cbrt-unprod_binary64_111 cbrt-undiv_binary64_453
26×add-log-exp_binary64_117 unswap-sqr_binary64_46
25×unswap-sqr_binary64
23×*-commutative_binary64_350 associate--l+_binary64_697 prod-exp_binary64_809
22×distribute-lft-out--_binary64_712 associate-*r/_binary64 unswap-sqr_binary64_387 sin-mult_binary64_574
20×cancel-sign-sub-inv_binary64 cos-mult_binary64_573
19×pow-prod-up_binary64_148
18×div-inv_binary64_757 pow-to-exp_binary64_488 div-inv_binary64_416 pow-exp_binary64_487
17×*-commutative_binary64 pow1/3_binary64_842 difference-of-squares_binary64_729
16×unpow-prod-down_binary64 sqrt-div_binary64_777
15×cancel-sign-sub-inv_binary64_726 cbrt-unprod_binary64_793 sqrt-prod_binary64_776
14×associate-*r/_binary64_702 times-frac_binary64 *-commutative_binary64_9 clear-num_binary64_418 frac-2neg_binary64_430
13×flip--_binary64_394 cbrt-div_binary64_792 flip3--_binary64_423
12×associate-/r*_binary64_704 sqrt-pow1_binary64_778
11×distribute-rgt-in_binary64_710 div-exp_binary64_811 distribute-lft-in_binary64_709 pow-sqr_binary64_51 cbrt-undiv_binary64_794
10×associate-/l*_binary64_705 frac-sub_binary64 exp-diff_binary64_808
9×associate-/l/_binary64 sub-div_binary64_426 exp-neg_binary64_807 frac-sub_binary64_428 cancel-sign-sub-inv_binary64_385 neg-sub0_binary64_755
8×unpow-prod-down_binary64_157 flip--_binary64 flip3--_binary64
7×log-pow_binary64_849 sqrt-unprod_binary64_98 unpow-prod-down_binary64_498 difference-of-squares_binary64 associate-*r/_binary64_361
6×associate-*l/_binary64_703 frac-times_binary64_770 pow-unpow_binary64_837 *-commutative_binary64_691 cube-prod_binary64_788 pow-prod-down_binary64_831 div-exp_binary64 sqrt-prod_binary64_435 pow1/3_binary64_160 cbrt-undiv_binary64
5×diff-log_binary64_511 flip-+_binary64 difference-of-squares_binary64_388 pow-exp_binary64_828 associate-*l/_binary64 flip3-+_binary64 sub-neg_binary64_753 frac-times_binary64 distribute-lft-out--_binary64_371 pow-to-exp_binary64_829 sub-neg_binary64_412
4×1-exp_binary64_463 swap-sqr_binary64_45 sub-neg_binary64 clear-num_binary64_759 sqr-pow_binary64 pow-prod-up_binary64_830 associate-/l*_binary64 div-inv_binary64 pow-to-exp_binary64 frac-2neg_binary64_771 rem-exp-log_binary64_800 rec-exp_binary64_469 flip3--_binary64_764 distribute-lft-out_binary64 sqrt-pow1_binary64 pow-exp_binary64 flip--_binary64_735 pow-sqr_binary64_733 associate-+r+_binary64 distribute-lft-out--_binary64 diff-log_binary64
3×swap-sqr_binary64_386 unpow2_binary64_484 sqr-pow_binary64_391 distribute-lft-neg-in_binary64_717 associate-/l/_binary64_707 sum-log_binary64 distribute-rgt-neg-in_binary64_718 diff-log_binary64_852 associate-/r/_binary64 frac-add_binary64
2×rem-sqrt-square_binary64_91 +-commutative_binary64 pow-flip_binary64_493 tan-sum_binary64 associate-+r-_binary64 rem-sqrt-square_binary64_432 pow-to-exp_binary64_147 sqr-pow_binary64_50 sqrt-pow1_binary64_437 sqrt-div_binary64_95 pow2_binary64_841 sin-mult_binary64 div-sub_binary64_424 pow-pow_binary64_832 pow-plus_binary64_823 associate-/r/_binary64_706 clear-num_binary64 associate-/r*_binary64 inv-pow_binary64_504 un-div-inv_binary64_417 rem-log-exp_binary64_801 cos-2_binary64_561 div-sub_binary64 associate-*r/_binary64_20 frac-2neg_binary64 pow1/2_binary64_840 pow-exp_binary64_146 pow1/2_binary64 rem-sqrt-square_binary64_773 cos-sum_binary64_553 pow1/2_binary64_499
1×neg-mul-1_binary64_756 flip-+_binary64_52 pow-plus_binary64_482 cos-mult_binary64 pow2_binary64_500 div-sub_binary64_765 unpow3_binary64_826 pow-sqr_binary64_392 flip3-+_binary64_81 pow2_binary64_159 rem-square-sqrt_binary64_90 cube-mult_binary64_790 associate-/l/_binary64_366 pow-plus_binary64_141 exp-to-pow_binary64_822 pow-prod-up_binary64_489 distribute-lft-in_binary64 sqr-abs_binary64_434 distribute-rgt-in_binary64
Counts
128 → 3079
Calls

83 calls:

65.0ms
(*.f64 (cbrt.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))) (cbrt.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))))
35.0ms
(*.f64 (*.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2))) (*.f64 (fabs.f64 x) (cbrt.f64 (sqrt.f64 2))))
35.0ms
(*.f64 s (*.f64 x c))
31.0ms
(-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) 1) (/.f64 (*.f64 (sin.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (cos.f64 a)))
29.0ms
(*.f64 (tan.f64 y) (tan.f64 z))
Compiler

Compiled 81900 to 28042 computations (65.8% saved)

prune3.6s (2.5%)

Counts
2930 → 374
Compiler

Compiled 70163 to 24338 computations (65.3% saved)

localize475.0ms (0.3%)

bsearch45.0ms (0%)

Compiler

Compiled 12 to 10 computations (16.7% saved)

end0.0ms (0%)

Profiling

Loading profile data...