Date:Tuesday, April 20th, 2021
Commit:0bd4c977 on master
Hostname:warfa with Racket 7.9
Seed:2021110
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: 14.2min)

sample7.6min (53.6%)

Algorithm
106×intervals
Results
2.0min5137×body8192exit
1.1min69554×body1024valid
1.0min8696×body4096valid
34.4s14662×body2048valid
28.2s1552×body8192valid
23.3s265587×body128valid
17.7s34713×body512valid
10.0s6193×body1024invalid
7.5s37335×body256valid
6.2s899×body4096invalid
5.6s3814×body1024overflowed
5.1s1291×body2048invalid
4.1s24012×body128overflowed
3.6s134142×pre128true
3.2s3190×body512invalid
2.4s11434×body128invalid
1.6s2057×body512overflowed
1.6s5372×body2048nan
1.3s3819×body1024nan
1.3s14903×body128nan
971.0ms1560×body256invalid
783.0ms2203×body512nan
584.0ms42×body8192invalid
430.0ms1060×body256overflowed
239.0ms1231×body256nan
3.0ms1×body2048overflowed
2.0ms129×pre128false
1.0ms8×body4096nan
Compiler

Compiled 28533 to 21004 computations (26.4% saved)

analyze1.9min (13.3%)

Algorithm
53×search
106×egg-herbie
Rules
13314×sub-neg_binary64
12882×div-sub_binary64
12126×distribute-rgt-in_binary64
11811×neg-mul-1_binary64
10837×neg-sub0_binary64
10034×unsub-neg_binary64
8894×times-frac_binary64
8607×distribute-lft-in_binary64
7373×cancel-sign-sub-inv_binary64
7254×distribute-rgt-neg-in_binary64
7179×associate-*l*_binary64
7120×associate-*r*_binary64
6557×associate-/r*_binary64
6446×associate-/l*_binary64
5935×distribute-lft-neg-out_binary64
5886×*-commutative_binary64
5724×distribute-neg-frac_binary64
5501×distribute-rgt-neg-out_binary64
5352×unswap-sqr_binary64
4836×associate-/r/_binary64
4638×distribute-lft-neg-in_binary64
4572×associate-/l/_binary64
4049×distribute-neg-in_binary64
3952×+-commutative_binary64
3537×associate-*l/_binary64
3361×sqr-pow_binary64
3360×distribute-frac-neg_binary64
3026×remove-double-neg_binary64
2801×associate--r+_binary64
2479×associate-+l-_binary64
2298×distribute-lft-out--_binary64
2214×distribute-rgt-out--_binary64
1952×associate-*r/_binary64
1921×associate-+l+_binary64
1500×distribute-rgt-out_binary64
1473×associate--r-_binary64
1353×*-lft-identity_binary64
1317×distribute-neg-out_binary64
1315×cancel-sign-sub_binary64
1261×sub0-neg_binary64
1250×associate-+r+_binary64
1137×cube-prod_binary64
1092×associate--l-_binary64
1077×associate--l+_binary64
1069×associate-+r-_binary64
988×+-lft-identity_binary64
984×unpow3_binary64
949×*-rgt-identity_binary64
912×swap-sqr_binary64
904×pow-sqr_binary64
898×mul0-rgt_binary64
885×exp-prod_binary64
874×/-rgt-identity_binary64
868×mul0-lft_binary64
776×pow-plus_binary64
737×distribute-lft-out_binary64
736×cube-mult_binary64
655×distribute-rgt1-in_binary64
638×div0_binary64
610×+-rgt-identity_binary64
543×--rgt-identity_binary64
467×rem-sqrt-square_binary64
371×unpow2_binary64
341×unpow1_binary64
337×unpow1/2_binary64
322×cube-unmult_binary64
309×prod-exp_binary64
307×div-exp_binary64
210×difference-of-squares_binary64
208×remove-double-div_binary64
198×exp-diff_binary64
166×sqr-neg_binary64
165×mul-1-neg_binary64
153×distribute-lft1-in_binary64
132×exp-sum_binary64
130×exp-sqrt_binary64
96×cube-div_binary64
75×log-div_binary64
68×log-prod_binary64 exp-lft-sqr_binary64
62×sin-neg_binary64
55×count-2_binary64
54×difference-of-sqr--1_binary64 rec-exp_binary64
51×cos-neg_binary64
45×difference-of-sqr-1_binary64
44×1-exp_binary64
34×exp-neg_binary64
14×cube-neg_binary64
13×log-rec_binary64
11×*-inverses_binary64
9×1-sub-sin_binary64 sub-1-sin_binary64
7×+-inverses_binary64
6×tan-neg_binary64
5×exp-1-e_binary64
4×unpow-1_binary64
3×swap-a-b rem-square-sqrt_binary64 swap-lambda1-lambda2 swap-phi1-phi2
2×swap-A-C rem-exp-log_binary64
1×rgt-mult-inverse_binary64 swap-b1-b2 swap-a1-a2
0×e-exp-1_binary64 hang-m-tan_binary64 cos-PI/3_binary64 if-if-and-not_binary64 cos-PI/2_binary64 not-lte_binary64 sinh-+-cosh_binary64 not-or tan-0_binary64 sinh-cosh_binary64 and-false-r cos-PI_binary64 if-false_binary64 gt-same_binary64 cos-sin-sum_binary64 hang-p0-tan_binary64 not-lt_binary64 sqr-abs_binary64 cos-+PI_binary64 unpow0_binary64 sin-PI_binary64 exp-cbrt_binary64 not-not if-not_binary64 if-if-or-not_binary64 lte-same_binary64 exp-lft-cube_binary64 1-sub-cos_binary64 tan-PI/4_binary64 lt-same_binary64 tanh-def-a_binary64 cos-PI/6_binary64 tan-PI/6_binary64 erfc-erf_binary64 tanh-def-c_binary64 or-true-l sub-1-cos_binary64 rem-3cbrt-rft_binary64 exp-0_binary64 tan-+PI_binary64 tan-PI/3_binary64 if-if-or_binary64 rem-3cbrt-lft_binary64 log-E_binary64 pow-base-1_binary64 exp-to-pow_binary64 or-false-l sinh-def_binary64 erf-odd_binary64 if-same_binary64 tanh-def-b_binary64 log-pow_binary64 and-true-l and-same -1-add-cos_binary64 not-gt_binary64 cosh-def_binary64 -1-add-sin_binary64 rem-cube-cbrt_binary64 cos-PI/4_binary64 or-true-r erf-erfc_binary64 or-false-r cos-+PI/2_binary64 not-gte_binary64 hang-m0-tan_binary64 hang-0p-tan_binary64 pow-base-0_binary64 not-and lft-mult-inverse_binary64 rem-cbrt-cube_binary64 sin-PI/4_binary64 sin-PI/2_binary64 sin-0_binary64 hang-p-tan_binary64 hang-0m-tan_binary64 or-same sin-PI/3_binary64 sinh---cosh_binary64 rem-log-exp_binary64 if-if-and_binary64 sin-PI/6_binary64 tan-+PI/2_binary64 if-true_binary64 and-true-r cos-0_binary64 sin-+PI_binary64 gte-same_binary64 sin-+PI/2_binary64 not-false tan-PI_binary64 not-true and-false-l unpow1/3_binary64
Search
TrueOtherFalseIter
0%78.8%21.2%0
1.9%76.9%21.2%1
4.9%73.8%21.2%2
12.2%64.7%23.1%3
17.2%57.4%25.4%4
21.4%51.9%26.7%5
25.2%46.4%28.4%6
26.8%43.5%29.6%7
27.8%41.3%30.9%8
30.5%37.4%32.1%9
31.1%36.3%32.6%10
32.7%34.3%33%11
34.3%32%33.6%12
35.4%30.6%34%13
36.1%29.6%34.2%14
Compiler

Compiled 1702 to 1289 computations (24.3% saved)

regimes1.9min (13.1%)

Compiler

Compiled 1981772 to 1439975 computations (27.3% saved)

series54.1s (6.4%)

Counts
677 → 6118
Calls

388 calls:

9.2s
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (/.f64 (*.f64 8 (*.f64 (*.f64 a (*.f64 b (*.f64 b a))) (*.f64 a (*.f64 b (*.f64 b a))))) (pow.f64 (*.f64 x-scale y-scale) 2)) (+.f64 (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) PI.f64)) (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) PI.f64)) (*.f64 2 (-.f64 (*.f64 b b) (*.f64 a a))))) (*.f64 x-scale y-scale)) 2))))))) (/.f64 (*.f64 a (*.f64 (*.f64 b b) (*.f64 a -4))) (pow.f64 (*.f64 x-scale y-scale) 2)))
3.6s
(-.f64 (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) PI.f64)) (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) PI.f64)) (*.f64 2 (-.f64 (*.f64 b b) (*.f64 a a))))) (*.f64 x-scale y-scale)) 2))))
1.7s
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 2 (*.f64 (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 A) C)) F)) (+.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2))))))) (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 A) C)))
1.4s
(sqrt.f64 (*.f64 (*.f64 2 (*.f64 (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 A) C)) F)) (+.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2))))))
1.1s
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 2 (*.f64 (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 A) C)) F)) (-.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2))))))) (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 A) C)))
Compiler

Compiled 571173 to 407206 computations (28.7% saved)

rewrite48.4s (5.7%)

Algorithm
196×rewrite-expression-head
Rules
9287×add-exp-log_binary64
5756×prod-exp_binary64
5695×add-sqr-sqrt_binary64
5237×*-un-lft-identity_binary64
4823×times-frac_binary64
3600×add-cube-cbrt_binary64
3031×add-cbrt-cube_binary64
1902×div-exp_binary64
1893×pow1_binary64
1600×pow-exp_binary64
1323×cbrt-unprod_binary64
1132×unpow-prod-down_binary64
1114×pow-to-exp_binary64
973×add-log-exp_binary64
830×associate-*r*_binary64
786×difference-of-squares_binary64
744×associate-/r*_binary64
721×associate-*l*_binary64
699×associate-*l/_binary64
668×flip--_binary64
667×flip3--_binary64
624×sqrt-prod_binary64
601×pow-prod-down_binary64
530×sqrt-div_binary64
502×associate-/l*_binary64
491×cbrt-prod_binary64
490×cancel-sign-sub-inv_binary64
470×associate-*r/_binary64
414×frac-times_binary64
388×cbrt-undiv_binary64
365×frac-add_binary64
361×sqr-pow_binary64 distribute-lft-out--_binary64
357×unswap-sqr_binary64
327×div-inv_binary64
315×distribute-lft-out_binary64
268×flip-+_binary64
267×flip3-+_binary64
242×cube-prod_binary64
213×log-prod_binary64
178×associate-/l/_binary64
162×frac-sub_binary64
157×associate-/r/_binary64
148×*-commutative_binary64
132×1-exp_binary64 rec-exp_binary64
128×frac-2neg_binary64 cbrt-div_binary64 clear-num_binary64
120×log-pow_binary64
118×sub-neg_binary64
109×distribute-lft-neg-in_binary64 distribute-rgt-neg-in_binary64
104×diff-log_binary64
88×sqrt-pow1_binary64
81×pow-unpow_binary64
74×pow1/3_binary64
72×associate--l+_binary64 swap-sqr_binary64
68×exp-prod_binary64
67×unpow3_binary64 pow1/2_binary64 cube-mult_binary64
64×pow-prod-up_binary64
63×sum-log_binary64
61×sin-cos-mult_binary64
60×distribute-neg-frac_binary64
58×log-div_binary64
57×sin-mult_binary64
56×difference-of-sqr-1_binary64 pow-sqr_binary64
54×div-sub_binary64 distribute-rgt-in_binary64 distribute-lft-in_binary64
51×cos-mult_binary64
48×rem-sqrt-square_binary64
45×pow-pow_binary64
38×+-commutative_binary64 pow-plus_binary64
34×associate--r+_binary64
31×unpow2_binary64
29×associate-+r+_binary64 rem-log-exp_binary64
28×tan-quot_binary64
26×cosh-undef_binary64 sub-div_binary64
24×neg-mul-1_binary64 pow2_binary64
23×distribute-rgt-out--_binary64
22×cos-diff_binary64
21×associate-+l+_binary64 cos-sum_binary64
20×rem-cube-cbrt_binary64
19×distribute-frac-neg_binary64
17×cos-atan_binary64
16×associate--l-_binary64
15×sin-diff_binary64
14×distribute-lft-neg-out_binary64
11×acos-asin_binary64 difference-of-sqr--1_binary64
10×asin-acos_binary64 pow-flip_binary64 inv-pow_binary64
8×associate-+r-_binary64 sin-sum_binary64 sinh-undef_binary64
7×rem-cbrt-cube_binary64 associate-+l-_binary64
6×cube-div_binary64 associate--r-_binary64 distribute-rgt-neg-out_binary64
5×exp-sum_binary64
4×rem-exp-log_binary64 sqr-abs_binary64 sqrt-unprod_binary64 cos-neg_binary64 neg-sub0_binary64 atan-neg_binary64
3×exp-diff_binary64 acos-neg_binary64 distribute-rgt-out_binary64
2×exp-to-pow_binary64 sinh-def_binary64
1×cosh-def_binary64 rem-square-sqrt_binary64 mul0-rgt_binary64 un-div-inv_binary64 tanh-undef_binary64 distribute-rgt1-in_binary64
Counts
677 → 18146
Calls

388 calls:

284.0ms
(-.f64 (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) PI.f64)) (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) PI.f64)) (*.f64 2 (-.f64 (*.f64 b b) (*.f64 a a))))) (*.f64 x-scale y-scale)) 2))))
248.0ms
(cbrt.f64 (+.f64 (/.f64 -2 (*.f64 x x)) (-.f64 (/.f64 -2 (pow.f64 x 6)) (/.f64 2 (pow.f64 x 4)))))
120.0ms
(cbrt.f64 (+.f64 (/.f64 (*.f64 (cbrt.f64 -2) (cbrt.f64 -2)) (/.f64 x (/.f64 (cbrt.f64 -2) x))) (-.f64 (/.f64 -2 (pow.f64 x 6)) (/.f64 2 (pow.f64 x 4)))))
62.0ms
(/.f64 (-.f64 (*.f64 -3/2 (/.f64 (*.f64 a c) b)) (+.f64 (+.f64 (*.f64 9/8 (/.f64 (*.f64 (*.f64 a c) (*.f64 a c)) (pow.f64 b 3))) (*.f64 27/16 (/.f64 (pow.f64 (*.f64 a c) 3) (pow.f64 b 5)))) (*.f64 405/128 (/.f64 (*.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))))) (*.f64 3 a))
59.0ms
(*.f64 (pow.f64 a 3) (pow.f64 c 4))
Compiler

Compiled 737635 to 384674 computations (47.9% saved)

simplify37.5s (4.4%)

Algorithm
302×egg-herbie
Rules
52232×times-frac_binary64
48770×distribute-rgt-in_binary64
48112×associate-/l*_binary64
47987×associate-*l*_binary64
43697×cancel-sign-sub-inv_binary64
42991×*-commutative_binary64
41796×associate-*r*_binary64
41470×unswap-sqr_binary64
38666×distribute-lft-in_binary64
37785×sub-neg_binary64
36728×div-sub_binary64
34195×associate-/r*_binary64
33684×distribute-rgt-neg-in_binary64
32881×associate-/l/_binary64
28689×unsub-neg_binary64
27978×distribute-lft-neg-in_binary64
27965×associate-/r/_binary64
27197×neg-mul-1_binary64
26636×sqr-pow_binary64
23563×neg-sub0_binary64
23413×associate-*l/_binary64
17879×log-prod_binary64
16999×associate-*r/_binary64
16290×exp-prod_binary64
14921×associate-+l+_binary64
13898×+-commutative_binary64
13084×cube-prod_binary64
12225×distribute-rgt-out_binary64
11854×distribute-lft-neg-out_binary64
10933×distribute-neg-in_binary64
10479×distribute-rgt-neg-out_binary64
9810×distribute-neg-frac_binary64
9559×associate-+r+_binary64
9125×log-div_binary64
8796×pow-sqr_binary64
8112×associate--r+_binary64
7525×swap-sqr_binary64
7284×associate--l+_binary64
7150×distribute-rgt-out--_binary64
6995×associate-+l-_binary64
6095×distribute-lft-out_binary64
5802×exp-sum_binary64
5727×unpow3_binary64
4768×associate-+r-_binary64
4708×*-rgt-identity_binary64
4449×distribute-neg-out_binary64
4301×distribute-lft-out--_binary64
4289×*-lft-identity_binary64
4111×cube-div_binary64
3826×distribute-frac-neg_binary64
3793×cube-mult_binary64
3338×pow-plus_binary64
3217×associate--r-_binary64
3148×log-pow_binary64
3132×exp-diff_binary64
3114×associate--l-_binary64
2742×rem-sqrt-square_binary64
2736×cube-unmult_binary64
2501×difference-of-squares_binary64
2257×sub0-neg_binary64
2197×/-rgt-identity_binary64
2118×remove-double-neg_binary64
2051×mul0-rgt_binary64
1890×mul0-lft_binary64
1789×distribute-rgt1-in_binary64
1718×+-rgt-identity_binary64
1427×prod-exp_binary64
1374×div0_binary64
1195×cancel-sign-sub_binary64
1164×div-exp_binary64
1011×mul-1-neg_binary64
927×unpow1/2_binary64
829×unpow2_binary64
786×log-rec_binary64
762×+-lft-identity_binary64
753×unpow1_binary64
714×remove-double-div_binary64
689×sqr-neg_binary64
662×count-2_binary64
643×--rgt-identity_binary64
591×distribute-lft1-in_binary64
385×exp-to-pow_binary64
318×exp-neg_binary64
302×cube-neg_binary64
268×1-exp_binary64
224×difference-of-sqr--1_binary64
222×rem-square-sqrt_binary64
193×exp-sqrt_binary64 unpow1/3_binary64
192×sin-neg_binary64
176×difference-of-sqr-1_binary64
168×rec-exp_binary64
148×exp-lft-sqr_binary64
135×rem-exp-log_binary64 cos-neg_binary64
130×rem-log-exp_binary64
121×exp-1-e_binary64
109×rem-3cbrt-lft_binary64
99×rem-cbrt-cube_binary64
59×+-inverses_binary64
52×rem-cube-cbrt_binary64
34×*-inverses_binary64
30×exp-lft-cube_binary64 pow-base-1_binary64
27×rem-3cbrt-rft_binary64
24×exp-cbrt_binary64
13×unpow-1_binary64
9×lft-mult-inverse_binary64
7×sqr-abs_binary64
5×rgt-mult-inverse_binary64
4×cosh-def_binary64
3×log-E_binary64 sinh-def_binary64
2×cos-sin-sum_binary64 cos-PI/6_binary64 sin-PI/6_binary64
1×e-exp-1_binary64 cos-PI_binary64 sin-PI_binary64 1-sub-sin_binary64 if-if-or-not_binary64 sub-1-sin_binary64
0×if-if-and-not_binary64 cos-PI/2_binary64 cos-PI/3_binary64 not-lte_binary64 sinh-+-cosh_binary64 sub-1-cos_binary64 tan-0_binary64 sinh-cosh_binary64 and-false-r if-false_binary64 gt-same_binary64 hang-p0-tan_binary64 not-lt_binary64 cos-+PI_binary64 unpow0_binary64 not-not if-not_binary64 tan-PI/4_binary64 lte-same_binary64 1-sub-cos_binary64 lt-same_binary64 tanh-def-a_binary64 tan-PI/6_binary64 erfc-erf_binary64 tan-neg_binary64 tanh-def-c_binary64 or-true-l not-false not-or exp-0_binary64 tan-+PI_binary64 tan-PI/3_binary64 if-if-or_binary64 or-false-l erf-odd_binary64 if-same_binary64 tanh-def-b_binary64 sin-0_binary64 and-same -1-add-cos_binary64 not-gt_binary64 and-true-l -1-add-sin_binary64 cos-PI/4_binary64 or-true-r erf-erfc_binary64 or-false-r cos-+PI/2_binary64 not-gte_binary64 hang-m0-tan_binary64 hang-0p-tan_binary64 pow-base-0_binary64 not-and sin-+PI/2_binary64 sin-PI/4_binary64 sin-PI/2_binary64 if-true_binary64 hang-p-tan_binary64 hang-0m-tan_binary64 or-same sin-PI/3_binary64 sinh---cosh_binary64 hang-m-tan_binary64 if-if-and_binary64 and-true-r cos-0_binary64 sin-+PI_binary64 gte-same_binary64 tan-+PI/2_binary64 tan-PI_binary64 not-true and-false-l
Counts
24317 → 17462

prune24.4s (2.9%)

Counts
18908 → 1893
Compiler

Compiled 493942 to 269618 computations (45.4% saved)

localize4.0s (0.5%)

bsearch1.3s (0.2%)

Compiler

Compiled 346 to 283 computations (18.2% saved)

end289.0ms (0%)

Compiler

Compiled 5683 to 3818 computations (32.8% saved)

Profiling

Loading profile data...