Date:Tuesday, July 28th, 2020
Commit:4ba6b6e4 on master
Hostname:warfa with Racket 7.5
Seed:2020210
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.2min (38.0%)

Algorithm
957×intervals
Results
2.3min3271707×body80valid
2.2min240574×body1280valid
1.3min17942×body5120exit
53.6s170583×body640valid
34.1s41587×body2560valid
32.3s355372×body80invalid
19.3s100468×body320valid
12.5s94201×body160valid
11.8s158250×body80nan
9.7s22366×body1280invalid
8.1s379072×pre80true
6.3s13005×body1280nan
5.5s19111×body640invalid
4.4s2313×body1280overflowed
3.7s1504×body2560invalid
3.6s768×body5120invalid
3.5s10287×body640nan
3.3s19587×body80overflowed
2.9s4172×body5120valid
2.0s10104×body320invalid
2.0s1762×body640overflowed
1.2s5353×body320nan
698.0ms5401×body160invalid
590.0ms918×body320overflowed
562.0ms3033×body2560nan
294.0ms2154×body160nan
163.0ms449×body160overflowed
105.0ms163×body2560overflowed
6.0ms232×pre80false

prune5.7min (19.2%)

Filtered
176937 candidates to 111554 candidates (37.0%)

analyze4.0min (13.5%)

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

regimes2.5min (8.3%)

Accuracy

Total 419.2b remaining (27.5%)

Threshold costs 63.1b (4.1%)

18.9b20.9%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
12.5b60.1%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.7b55%math.abs on complex
10.7b55%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
10.4b57%math.log/2 on complex, real part

series2.4min (8.2%)

Calls

4853 calls:

2.6s
(sqrt.f64 (*.f64 (*.f64 (*.f64 2.0 n) U) (-.f64 (-.f64 t (*.f64 2.0 (/.f64 (*.f64 l l) Om))) (*.f64 (*.f64 n (pow.f64 (/.f64 l Om) 2.0)) (-.f64 U U*)))))
2.6s
(sqrt.f64 (*.f64 (*.f64 (*.f64 2.0 n) U) (-.f64 (-.f64 t (*.f64 2.0 (*.f64 l (/.f64 l Om)))) (*.f64 (*.f64 n (pow.f64 (/.f64 l Om) 2.0)) (-.f64 U U*)))))
2.6s
(sqrt.f64 (*.f64 (*.f64 (*.f64 2.0 n) U) (-.f64 (-.f64 t (*.f64 2.0 (/.f64 l (/.f64 Om l)))) (*.f64 (*.f64 (*.f64 n (pow.f64 (*.f64 (cbrt.f64 (/.f64 l Om)) (cbrt.f64 (/.f64 l Om))) 2.0)) (pow.f64 (cbrt.f64 (/.f64 l Om)) 2.0)) (-.f64 U U*)))))
2.6s
(sqrt.f64 (*.f64 (*.f64 (*.f64 2.0 n) U) (-.f64 (-.f64 t (*.f64 2.0 (/.f64 l (/.f64 Om l)))) (*.f64 (*.f64 n (pow.f64 (/.f64 l Om) 2.0)) (-.f64 U U*)))))
1.2s
(pow.f64 (pow.f64 E.f64 (*.f64 (cbrt.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t 1.0) (log.f64 a))) b)) (cbrt.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t 1.0) (log.f64 a))) b)))) (cbrt.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t 1.0) (log.f64 a))) b)))

simplify2.4min (8.0%)

Algorithm
2571×egg-herbie

rewrite55.3s (3.1%)

Algorithm
1618×rewrite-expression-head
Calls

4853 calls:

267.0ms
(-.f64 (pow.f64 (/.f64 (pow.f64 x0 3) (pow.f64 (-.f64 1.0 x1) 6)) 3) (pow.f64 (pow.f64 x0 3) 3))
229.0ms
(*.f64 (/.f64 (/.f64 (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y))) (*.f64 (cbrt.f64 y) (cbrt.f64 y))) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 x (/.f64 (cbrt.f64 z) (/.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 y)))))
214.0ms
(*.f64 100.0 (/.f64 (-.f64 (pow.f64 (+.f64 1.0 (/.f64 i n)) n) 1.0) (/.f64 i n)))
173.0ms
(/.f64 (/.f64 (/.f64 (/.f64 (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 alpha beta)) 1.0) (sqrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 1.0 2.0)))) (sqrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2.0 1.0)))) (+.f64 (+.f64 alpha beta) (*.f64 2.0 1.0))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2.0 1.0)) 1.0))
160.0ms
(*.f64 (/.f64 1 (*.f64 (cbrt.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1.0 (*.f64 0.7715471019 (*.f64 x x))) (*.f64 0.2909738639 (*.f64 (*.f64 x x) (*.f64 x x)))) (*.f64 0.0694555761 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)))) (*.f64 0.0140005442 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 0.0008327945 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 (*.f64 2.0 0.0001789971) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x))))) (cbrt.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1.0 (*.f64 0.7715471019 (*.f64 x x))) (*.f64 0.2909738639 (*.f64 (*.f64 x x) (*.f64 x x)))) (*.f64 0.0694555761 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)))) (*.f64 0.0140005442 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 0.0008327945 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 (*.f64 2.0 0.0001789971) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x))))))) (*.f64 x (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1.0 (*.f64 0.1049934947 (*.f64 x x))) (*.f64 0.0424060604 (pow.f64 x 4))) (*.f64 0.0072644182 (pow.f64 x 6))) (*.f64 0.0005064034 (pow.f64 x 8))) (*.f64 0.0001789971 (pow.f64 x 10))) (cbrt.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1.0 (*.f64 (*.f64 x x) 0.7715471019)) (*.f64 (pow.f64 x 4) 0.2909738639)) (*.f64 (pow.f64 x 6) 0.0694555761)) (*.f64 (pow.f64 x 8) 0.0140005442)) (*.f64 (pow.f64 x 10) 0.0008327945)) (*.f64 (*.f64 0.0001789971 2.0) (pow.f64 x 12)))))))
Rules
85523×times-frac_binary64
72986×*-un-lft-identity_binary64
72311×add-exp-log_binary64
67134×add-sqr-sqrt_binary64
48801×add-cube-cbrt_binary64
43772×prod-exp_binary64
22144×pow-exp_binary64
20908×div-exp_binary64
18943×add-cbrt-cube_binary64
14762×sqrt-prod_binary64
12951×pow1_binary64
12026×associate-*r*_binary64
10373×cbrt-prod_binary64
10028×associate-*r/_binary64
9778×pow-to-exp_binary64
7774×associate-*l*_binary64
7653×distribute-lft-out_binary64
7645×add-log-exp_binary64
7544×flip--_binary64
7543×flip3--_binary64
6745×cbrt-unprod_binary64
6575×frac-times_binary64
6370×associate-/r*_binary64
6017×difference-of-squares_binary64
5263×distribute-lft-out--_binary64
5087×associate-/l*_binary64
4906×unpow-prod-down_binary64
4787×associate-*l/_binary64
4393×flip-+_binary64
4392×flip3-+_binary64
4300×sqrt-div_binary64
4040×associate-/r/_binary64
3991×cbrt-undiv_binary64
3666×rec-exp_binary64 1-exp_binary64
3659×div-inv_binary64
3651×cbrt-div_binary64
3538×pow-prod-down_binary64
2591×unswap-sqr_binary64
2481×frac-add_binary64
2398×frac-sub_binary64
2055×log-prod_binary64
1765×cube-prod_binary64
1669×sqr-pow_binary64
1460×swap-sqr_binary64
1444×*-commutative_binary64
1404×associate-/l/_binary64
1225×distribute-rgt-in_binary64 distribute-lft-in_binary64
1215×pow1/3_binary64
1213×sub-neg_binary64
1088×sqrt-pow1_binary64
977×clear-num_binary64 frac-2neg_binary64
941×sum-log_binary64
821×log-pow_binary64
781×pow1/2_binary64
746×pow-unpow_binary64
708×exp-prod_binary64
621×diff-log_binary64
549×pow-prod-up_binary64
489×+-commutative_binary64
482×associate--l+_binary64
455×distribute-rgt-out_binary64
417×associate-+r+_binary64
397×pow-sqr_binary64
393×rem-sqrt-square_binary64
256×associate-+l+_binary64
251×pow-pow_binary64
250×div-sub_binary64
243×distribute-rgt-neg-in_binary64
224×distribute-lft-neg-in_binary64
217×cube-div_binary64
216×tan-quot_binary64
206×pow-plus_binary64
189×cube-mult_binary64
187×log-div_binary64
179×pow2_binary64
176×unpow3_binary64
168×neg-mul-1_binary64
159×distribute-rgt1-in_binary64
148×associate--r+_binary64
141×count-2_binary64 rem-log-exp_binary64 distribute-lft1-in_binary64 sub-div_binary64
122×pow-flip_binary64
109×cos-mult_binary64
102×exp-diff_binary64
98×inv-pow_binary64
97×neg-sub0_binary64
96×exp-sum_binary64
87×unpow2_binary64
84×rem-cube-cbrt_binary64
83×un-div-inv_binary64
82×exp-neg_binary64
74×tanh-def-a_binary64 tanh-def-b_binary64 tanh-def-c_binary64
65×cosh-undef_binary64
57×rem-exp-log_binary64
56×sin-mult_binary64
54×sqrt-unprod_binary64
48×associate--l-_binary64 associate-+r-_binary64
47×rem-cbrt-cube_binary64
44×distribute-rgt-out--_binary64
42×associate-+l-_binary64
34×sinh-def_binary64
32×distribute-frac-neg_binary64
30×rem-square-sqrt_binary64
29×pow-sub_binary64
24×unpow-prod-up_binary64
22×sinh-undef_binary64
21×difference-cubes_binary64 cosh-def_binary64
20×cos-diff_binary64
16×exp-to-pow_binary64 associate--r-_binary64 cos-sum_binary64
15×sin-diff_binary64 sqrt-undiv_binary64
14×distribute-rgt-neg-out_binary64 pow-neg_binary64 difference-of-sqr-1_binary64
13×sum-cubes_binary64 sin-cos-mult_binary64
12×acos-asin_binary64 sqrt-pow2_binary64 neg-log_binary64
9×unsub-neg_binary64
8×e-exp-1_binary64 asin-acos_binary64 sin-sum_binary64
6×diff-cos_binary64
5×distribute-lft-neg-out_binary64
4×pow3_binary64 unpow1/3_binary64 tan-sum_binary64
3×acos-neg_binary64 sqr-cos-a_binary64
2×pow-div_binary64 cube-neg_binary64
1×tanh-undef_binary64 diff-sin_binary64 mul0-rgt_binary64 diff-atan_binary64

localize19.2s (1.1%)

bsearch8.4s (0.5%)

end9.0ms (0.0%)

Profiling

Loading profile data...