Date:Wednesday, April 28th, 2021
Commit:07b57d27 on master
Hostname:warfa with Racket 7.9
Seed:2021118
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.1min)

sample7.6min (54.1%)

Algorithm
106×intervals
Results
2.1min5364×body8192exit
1.1min69879×body1024valid
1.0min8859×body4096valid
34.1s14454×body2048valid
28.5s1595×body8192valid
23.3s265355×body128valid
17.6s34865×body512valid
9.8s6035×body1024invalid
7.5s37131×body256valid
5.9s868×body4096invalid
5.7s3915×body1024overflowed
4.4s1145×body2048invalid
4.4s25202×body128overflowed
3.5s135926×pre128true
3.3s3139×body512invalid
2.4s11252×body128invalid
1.7s2161×body512overflowed
1.5s5306×body2048nan
1.3s15043×body128nan
1.3s3756×body1024nan
1.0s1557×body256invalid
585.0ms2092×body512nan
496.0ms35×body8192invalid
434.0ms1047×body256overflowed
197.0ms1050×body256nan
35.0ms1×body8192overflowed
6.0ms1×body4096overflowed
5.0ms10×body4096nan
2.0ms118×pre128false
Compiler

Compiled 28114 to 20614 computations (26.7% saved)

analyze1.9min (13.4%)

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.7min (12.3%)

Compiler

Compiled 1824884 to 1316196 computations (27.9% saved)

series55.2s (6.5%)

Counts
661 → 6202
Calls

388 calls:

9.5s
(/.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.4s
(-.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.8s
(cbrt.f64 (+.f64 (*.f64 (pow.f64 (-.f64 lambda1 lambda2) 2) (*.f64 (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)) (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)))) (*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))
1.6s
(/.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.6s
(/.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 588278 to 419142 computations (28.8% saved)

rewrite52.2s (6.2%)

Algorithm
191×rewrite-expression-head
Rules
16202×add-exp-log_binary64
10761×prod-exp_binary64
5035×add-sqr-sqrt_binary64
4792×*-un-lft-identity_binary64
4717×add-cbrt-cube_binary64
4282×times-frac_binary64
3471×add-cube-cbrt_binary64
3342×div-exp_binary64
2549×cbrt-unprod_binary64
2058×pow1_binary64
1873×pow-exp_binary64
1245×pow-to-exp_binary64
1075×associate-*r*_binary64
977×add-log-exp_binary64
876×unpow-prod-down_binary64
711×associate-*l*_binary64
700×cbrt-undiv_binary64
672×pow-prod-down_binary64
604×associate-/r*_binary64
548×cancel-sign-sub-inv_binary64
520×associate-/l*_binary64
513×difference-of-squares_binary64
485×sqrt-prod_binary64
478×cbrt-prod_binary64
415×sqr-pow_binary64
388×flip--_binary64
387×flip3--_binary64
372×unswap-sqr_binary64
358×associate-*r/_binary64
355×sqrt-div_binary64
350×associate-*l/_binary64
328×distribute-lft-out_binary64
313×flip-+_binary64
312×flip3-+_binary64
288×frac-times_binary64
282×distribute-lft-out--_binary64
281×div-inv_binary64
270×cube-prod_binary64
223×log-prod_binary64
172×associate-/l/_binary64
166×*-commutative_binary64
155×log-pow_binary64
148×frac-add_binary64
144×1-exp_binary64 rec-exp_binary64
140×associate-/r/_binary64
136×sub-neg_binary64
134×exp-prod_binary64
128×frac-sub_binary64
127×pow-unpow_binary64
125×distribute-rgt-neg-in_binary64
119×frac-2neg_binary64 clear-num_binary64
116×distribute-rgt-in_binary64 distribute-lft-in_binary64
113×unpow3_binary64 distribute-lft-neg-in_binary64 cube-mult_binary64
107×diff-log_binary64
94×pow-prod-up_binary64
91×sqrt-pow1_binary64
83×associate--l+_binary64
82×unpow2_binary64
74×pow-pow_binary64 pow-sqr_binary64
69×sum-log_binary64
68×tan-quot_binary64
65×pow1/2_binary64
62×div-sub_binary64
61×difference-of-sqr-1_binary64
58×distribute-neg-frac_binary64
55×pow-plus_binary64
51×log-div_binary64
48×associate-+r+_binary64 cbrt-div_binary64
42×+-commutative_binary64
38×rem-sqrt-square_binary64
36×pow2_binary64
35×swap-sqr_binary64
32×rem-log-exp_binary64
30×cos-mult_binary64 sin-mult_binary64
29×pow1/3_binary64
28×associate--r+_binary64 neg-mul-1_binary64
27×cos-diff_binary64 cos-sum_binary64
26×rem-cube-cbrt_binary64 associate-+l+_binary64
18×cos-atan_binary64
17×distribute-rgt-out--_binary64
16×sin-diff_binary64 difference-of-sqr--1_binary64
15×associate--l-_binary64 pow-flip_binary64
13×distribute-frac-neg_binary64
12×associate-+r-_binary64
10×sqrt-unprod_binary64 asin-acos_binary64 inv-pow_binary64 acos-asin_binary64
9×distribute-rgt-neg-out_binary64 sin-cos-mult_binary64 atan-neg_binary64
8×cosh-undef_binary64 un-div-inv_binary64 sin-sum_binary64 sinh-undef_binary64
7×associate-+l-_binary64
6×cos-neg_binary64 distribute-lft-neg-out_binary64
5×exp-sum_binary64 sub-div_binary64 neg-sub0_binary64
3×associate--r-_binary64 acos-neg_binary64 rem-exp-log_binary64 rem-cbrt-cube_binary64 distribute-rgt-out_binary64
2×exp-diff_binary64 sqr-cos-a_binary64 sqrt-undiv_binary64
1×e-exp-1_binary64 unpow1/2_binary64 cube-div_binary64 sqr-abs_binary64 mul0-rgt_binary64 unsub-neg_binary64 tanh-undef_binary64 distribute-rgt1-in_binary64 unpow-prod-up_binary64 neg-log_binary64
Counts
661 → 18733
Calls

388 calls:

287.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))))
60.0ms
(*.f64 (/.f64 (*.f64 (cbrt.f64 eh) (cbrt.f64 eh)) (*.f64 (cbrt.f64 (tan.f64 t)) (cbrt.f64 (tan.f64 t)))) (/.f64 (/.f64 (cbrt.f64 eh) ew) (cbrt.f64 (tan.f64 t))))
58.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))
54.0ms
(*.f64 (*.f64 a c) (*.f64 a c))
53.0ms
(*.f64 (*.f64 (/.f64 8 (pow.f64 (*.f64 x-scale y-scale) 2)) (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (*.f64 (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a))) (/.f64 (*.f64 (pow.f64 angle 4) 0) (*.f64 x-scale x-scale))))
Compiler

Compiled 782290 to 392180 computations (49.9% saved)

simplify35.4s (4.2%)

Algorithm
297×egg-herbie
Rules
55557×times-frac_binary64
49853×associate-/l*_binary64
48744×associate-*l*_binary64
44393×distribute-rgt-in_binary64
43149×associate-*r*_binary64
43025×cancel-sign-sub-inv_binary64
40372×*-commutative_binary64
38784×sub-neg_binary64
38487×unswap-sqr_binary64
37932×div-sub_binary64
35613×distribute-lft-in_binary64
34994×distribute-rgt-neg-in_binary64
30415×associate-/r*_binary64
29959×unsub-neg_binary64
26855×distribute-lft-neg-in_binary64
26776×neg-mul-1_binary64
26258×associate-/r/_binary64
25692×sqr-pow_binary64
25624×associate-/l/_binary64
23616×neg-sub0_binary64
22992×associate-*l/_binary64
17834×log-prod_binary64
17785×exp-prod_binary64
16915×associate-*r/_binary64
15817×associate-+l+_binary64
14908×+-commutative_binary64
12976×cube-prod_binary64
11949×distribute-lft-neg-out_binary64
11268×distribute-rgt-out_binary64
10829×distribute-neg-in_binary64
10569×distribute-rgt-neg-out_binary64
10333×associate-+r+_binary64
9683×distribute-neg-frac_binary64
8388×associate--r+_binary64
8303×pow-sqr_binary64
8018×swap-sqr_binary64
7843×log-div_binary64
7739×associate--l+_binary64
7146×distribute-rgt-out--_binary64
6703×associate-+l-_binary64
5651×distribute-lft-out_binary64
5584×unpow3_binary64
5147×exp-sum_binary64
4662×*-rgt-identity_binary64
4570×associate-+r-_binary64
4280×*-lft-identity_binary64
4117×distribute-lft-out--_binary64
3963×distribute-neg-out_binary64
3576×distribute-frac-neg_binary64
3480×cube-mult_binary64
3403×cube-div_binary64
3300×associate--r-_binary64
3092×pow-plus_binary64
2990×associate--l-_binary64
2912×exp-diff_binary64
2752×log-pow_binary64
2688×cube-unmult_binary64
2529×rem-sqrt-square_binary64
2512×remove-double-neg_binary64
2185×sub0-neg_binary64
2157×mul0-rgt_binary64
2095×/-rgt-identity_binary64
2039×mul0-lft_binary64
1922×difference-of-squares_binary64
1687×+-rgt-identity_binary64
1564×distribute-rgt1-in_binary64
1469×cancel-sign-sub_binary64
1468×prod-exp_binary64
1257×div0_binary64
1169×div-exp_binary64
1063×mul-1-neg_binary64
906×unpow1/2_binary64
831×unpow2_binary64
795×sqr-neg_binary64
791×+-lft-identity_binary64
768×log-rec_binary64
760×unpow1_binary64
695×count-2_binary64
649×--rgt-identity_binary64
605×remove-double-div_binary64
487×distribute-lft1-in_binary64
359×exp-to-pow_binary64
308×exp-neg_binary64
287×cube-neg_binary64
258×1-exp_binary64
216×difference-of-sqr--1_binary64
199×rem-square-sqrt_binary64
180×exp-sqrt_binary64
174×unpow1/3_binary64
164×rec-exp_binary64
137×difference-of-sqr-1_binary64
126×sin-neg_binary64
122×exp-1-e_binary64
118×rem-exp-log_binary64
111×exp-lft-sqr_binary64
106×rem-log-exp_binary64
88×rem-3cbrt-lft_binary64
77×cos-neg_binary64
72×+-inverses_binary64
68×rem-cbrt-cube_binary64
42×rem-cube-cbrt_binary64
39×*-inverses_binary64
33×exp-lft-cube_binary64
27×exp-cbrt_binary64
25×pow-base-1_binary64
16×rem-3cbrt-rft_binary64
13×unpow-1_binary64
6×lft-mult-inverse_binary64
5×sqr-abs_binary64 log-E_binary64
4×if-if-or-not_binary64
3×rgt-mult-inverse_binary64
2×cos-PI/6_binary64 sinh-def_binary64 sin-PI/6_binary64 cos-0_binary64
1×e-exp-1_binary64 cos-PI_binary64 sin-PI_binary64 1-sub-sin_binary64 cosh-def_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 cos-sin-sum_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 sin-+PI_binary64 gte-same_binary64 tan-+PI/2_binary64 tan-PI_binary64 not-true and-false-l
Counts
24988 → 18229

prune22.8s (2.7%)

Counts
19646 → 1854
Compiler

Compiled 488300 to 264904 computations (45.7% saved)

localize3.8s (0.4%)

bsearch998.0ms (0.1%)

Compiler

Compiled 351 to 279 computations (20.5% saved)

end276.0ms (0%)

Compiler

Compiled 5504 to 3596 computations (34.7% saved)

Profiling

Loading profile data...