Date:Friday, August 7th, 2020
Commit:b7c88a7d on master
Hostname:warfa with Racket 7.5
Seed:2020220
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:doubleprecision:fallback
default

Details

sample11.1min (38.1%)

Algorithm
956×intervals
Results
2.3min3264128×body80valid
2.2min240075×body1280valid
1.1min16679×body5120exit
54.0s170916×body640valid
34.9s41739×body2560valid
32.5s357515×body80invalid
19.8s99882×body320valid
13.1s93837×body160valid
12.2s159064×body80nan
9.8s22230×body1280invalid
8.1s369370×pre80true
6.2s12948×body1280nan
5.6s19331×body640invalid
3.8s772×body5120invalid
3.7s10613×body640nan
3.3s1358×body2560invalid
2.9s4046×body5120valid
2.5s1510×body1280overflowed
2.3s14134×body80overflowed
2.1s10350×body320invalid
1.3s5432×body320nan
1.1s1071×body640overflowed
760.0ms5488×body160invalid
625.0ms3095×body2560nan
350.0ms569×body320overflowed
291.0ms2135×body160nan
111.0ms162×body2560overflowed
99.0ms285×body160overflowed
8.0ms206×pre80false

prune4.3min (14.8%)

Filtered
188398 candidates to 106886 candidates (43.3%)

analyze4.1min (14.0%)

Algorithm
479×search
2×random
Search
TrueOtherFalseIter
0%92%8%0
3.1%88.9%8%1
6.2%85.2%8.7%2
14%75.7%10.2%3
18.9%69%12.1%4
26.1%60.9%13%5
30.6%54.8%14.6%6
36%47.6%16.4%7
39.3%43.2%17.5%8
43.3%38%18.7%9
46.2%33.8%20%10
48.9%30.4%20.7%11
51%27.5%21.5%12
53.5%24%22.5%13
54.9%22.3%22.8%14

series3.4min (11.7%)

Calls

4759 calls:

1.6min
(-.f64 (*.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)) (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))) (*.f64 (*.f64 c i) (*.f64 c i)))
1.7s
(pow.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))) 3)
1.2s
(/.f64 (*.f64 (cbrt.f64 (-.f64 (*.f64 (*.f64 a b) (*.f64 a b)) (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 x y) (*.f64 z t))))) (cbrt.f64 (-.f64 (*.f64 (*.f64 a b) (*.f64 a b)) (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 x y) (*.f64 z t)))))) (*.f64 (cbrt.f64 (-.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t)))) (cbrt.f64 (-.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))))))
988.0ms
(-.f64 1 (*.f64 (sqrt.f64 (pow.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (-.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) -5125037576950889/18014398509481984) (/.f64 (-.f64 (/.f64 6544414927309881/4503599627370496 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 6401478394306903/4503599627370496) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (*.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (exp.f64 (pow.f64 (fabs.f64 x) 2)))) 3)) (sqrt.f64 (pow.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (-.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) -5125037576950889/18014398509481984) (/.f64 (-.f64 (/.f64 6544414927309881/4503599627370496 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 6401478394306903/4503599627370496) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (*.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (exp.f64 (pow.f64 (fabs.f64 x) 2)))) 3))))
974.0ms
(-.f64 1 (pow.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (-.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) -5125037576950889/18014398509481984) (/.f64 (-.f64 (/.f64 6544414927309881/4503599627370496 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 6401478394306903/4503599627370496) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (*.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (exp.f64 (pow.f64 (fabs.f64 x) 2)))) 3))

simplify2.5min (8.4%)

Algorithm
2543×egg-herbie

regimes2.4min (8.2%)

Accuracy

Total 426.7b remaining (29.3%)

Threshold costs 51.2b (3.5%)

15.4b16.7%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
12.7b60.1%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
11.9b39%math.sqrt on complex, imaginary part, im greater than 0 branch
10.9b-18.2%Linear.Matrix:det44 from linear-1.19.1.3
10.7b56.6%math.log/2 on complex, real part

rewrite59.3s (3.4%)

Algorithm
1591×rewrite-expression-head
Calls

4759 calls:

341.0ms
(/.f64 (sqrt.f64 (/.f64 1 (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))))) (/.f64 (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) (sqrt.f64 (/.f64 1 (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))))))
313.0ms
(/.f64 (sqrt.f64 (/.f64 1 (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))))) (/.f64 (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) (sqrt.f64 (/.f64 1 (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))))))
270.0ms
(+.f64 (/.f64 x y) (+.f64 -2 (+.f64 (/.f64 (sqrt.f64 2) (/.f64 z (/.f64 (sqrt.f64 2) t))) (/.f64 2 t))))
242.0ms
(/.f64 (cbrt.f64 y) (/.f64 (cbrt.f64 (/.f64 (cbrt.f64 1) x)) (sqrt.f64 (+.f64 1 (*.f64 z z)))))
236.0ms
(*.f64 (-.f64 (*.f64 t y2) (*.f64 y y3)) (-.f64 (*.f64 y4 c) (*.f64 y5 a)))
Rules
169015×times-frac_binary64
150525×*-un-lft-identity_binary64
130710×sqrt-prod_binary64
96590×add-sqr-sqrt_binary64
75187×add-cube-cbrt_binary64
35453×distribute-lft-out_binary64
23685×add-exp-log_binary64
17279×add-cbrt-cube_binary64
13664×cbrt-prod_binary64
13139×pow1_binary64
12343×associate-*r*_binary64
8286×difference-of-squares_binary64
8040×prod-exp_binary64
7941×associate-/r*_binary64
7414×add-log-exp_binary64
6621×associate-*l*_binary64
6398×associate-/r/_binary64
5915×distribute-lft-out--_binary64
5476×cbrt-unprod_binary64
5408×div-exp_binary64
5404×div-inv_binary64
5288×sqrt-div_binary64
4699×flip-+_binary64
4698×flip3-+_binary64
4465×associate-/l*_binary64
4170×associate-*r/_binary64
4089×flip--_binary64
4088×flip3--_binary64
3946×unpow-prod-down_binary64
3684×pow-prod-down_binary64
3336×cbrt-undiv_binary64
3304×frac-times_binary64
3025×associate-*l/_binary64
2983×cbrt-div_binary64
2406×unswap-sqr_binary64
2029×log-prod_binary64
1678×cube-prod_binary64
1380×*-commutative_binary64
1350×sqr-pow_binary64
1319×pow-exp_binary64
1318×sqrt-pow1_binary64
1261×pow1/3_binary64
1194×frac-add_binary64
1051×sub-neg_binary64
1019×distribute-rgt-in_binary64 distribute-lft-in_binary64
1007×associate-/l/_binary64
999×swap-sqr_binary64
965×clear-num_binary64 frac-2neg_binary64
914×log-pow_binary64
911×sum-log_binary64
750×pow-to-exp_binary64
727×pow1/2_binary64
588×diff-log_binary64
569×1-exp_binary64
540×frac-sub_binary64
515×rec-exp_binary64
505×+-commutative_binary64
489×pow-unpow_binary64
488×pow-prod-up_binary64
436×exp-prod_binary64
412×associate-+r+_binary64
377×pow-sqr_binary64
372×associate--l+_binary64
355×rem-sqrt-square_binary64
344×difference-of-sqr-1_binary64
254×pow-flip_binary64
253×associate-+l+_binary64
235×log-div_binary64
233×div-sub_binary64
222×pow-pow_binary64
213×unpow3_binary64
202×cube-mult_binary64
194×unpow2_binary64 pow-plus_binary64
171×tan-quot_binary64
158×pow2_binary64
144×inv-pow_binary64
133×cube-div_binary64
125×rem-log-exp_binary64
120×associate--r+_binary64
101×cos-mult_binary64
99×sin-mult_binary64
98×exp-diff_binary64
90×exp-neg_binary64
89×exp-sum_binary64
79×distribute-rgt-neg-in_binary64 distribute-rgt-out--_binary64
78×rem-cube-cbrt_binary64
77×un-div-inv_binary64
73×neg-sub0_binary64
63×tanh-def-a_binary64 tanh-def-b_binary64 tanh-def-c_binary64
62×pow-div_binary64
55×unpow-prod-up_binary64
46×associate-+l-_binary64
44×sub-div_binary64
42×sqrt-unprod_binary64 distribute-lft-neg-in_binary64
39×sinh-def_binary64 associate--l-_binary64 rem-cbrt-cube_binary64 distribute-rgt-out_binary64
37×rem-exp-log_binary64
35×associate-+r-_binary64
34×associate--r-_binary64
30×cosh-def_binary64 cos-diff_binary64
27×acos-asin_binary64 pow-sub_binary64
26×cos-sum_binary64
23×rem-square-sqrt_binary64
20×sin-sum_binary64
19×sin-diff_binary64 distribute-rgt-neg-out_binary64
18×sinh-undef_binary64
17×neg-mul-1_binary64
16×difference-cubes_binary64
13×cosh-undef_binary64 sin-cos-mult_binary64
12×sqrt-undiv_binary64 distribute-rgt1-in_binary64
11×e-exp-1_binary64
10×unsub-neg_binary64
9×difference-of-sqr--1_binary64
8×exp-to-pow_binary64 distribute-lft1-in_binary64
7×count-2_binary64
6×distribute-neg-in_binary64 unpow1/3_binary64
5×pow3_binary64 sum-cubes_binary64 distribute-frac-neg_binary64 diff-cos_binary64
4×tan-sum_binary64 neg-log_binary64 cos-acos_binary64 asin-acos_binary64
3×sqrt-pow2_binary64 acos-neg_binary64 sqr-sin-a_binary64
2×distribute-neg-frac_binary64 cos-2_binary64 cos-PI/2_binary64
1×exp-lft-sqr_binary64 tanh-undef_binary64 sin-asin_binary64 diff-sin_binary64 mul0-rgt_binary64 diff-atan_binary64 distribute-lft-neg-out_binary64

localize18.7s (1.1%)

bsearch7.3s (0.4%)

end9.0ms (0.0%)

Profiling

Loading profile data...