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

sample3.6min (25.9%)

Algorithm
538×intervals
Results
1.2min2092691×body80valid
26.3s289376×body80invalid
18.5s40445×body1280valid
11.9s41071×body640valid
6.3s89112×body80nan
4.4s21986×body320valid
4.3s5541×body2560valid
2.0s6649×body1280invalid
1.4s11340×body160valid
1.2s6312×body640invalid
516.0ms3726×body320invalid
214.0ms2194×body160invalid
190.0ms1122×body640nan
187.0ms903×body1280nan
116.0ms46×body5120valid
88.0ms670×body320nan
50.0ms897×body80overflowed
31.0ms373×body160nan

series2.5min (17.9%)

Calls

2560 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))))))
435.0ms
(*.f64 (pow.f64 y 2/3) (sqrt.f64 (cbrt.f64 y)))
406.0ms
(cbrt.f64 (*.f64 (/.f64 (-.f64 y z) (-.f64 (+.f64 t 1) z)) (-.f64 a x)))

prune2.5min (17.6%)

Filtered
101457 candidates to 60202 candidates (40.7%)

analyze1.9min (13.3%)

Algorithm
270×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
2.2%97.6%0.1%1
4.3%95.4%0.3%2
10.5%88.3%1.3%3
15.4%81.8%2.8%4
23.4%72.8%3.7%5
29.2%65.4%5.4%6
36.4%56.3%7.3%7
40.6%51%8.4%8
45.6%44.6%9.8%9
49.5%39.2%11.4%10
52.9%34.9%12.2%11
55.6%31.3%13%12
58.6%27.3%14.1%13
60.5%25.1%14.4%14

regimes1.6min (11.5%)

Accuracy

Total 208.3b remaining (36.7%)

Threshold costs 24.4b (4.3%)

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
10.9b-18.2%Linear.Matrix:det44 from linear-1.19.1.3
10.0b10.1%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J
9.4b59.7%Data.Octree.Internal:octantDistance from Octree-0.5.4.2

simplify1.2min (8.8%)

Algorithm
1425×egg-herbie

rewrite30.3s (3.6%)

Algorithm
887×rewrite-expression-head
Calls

2560 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)))))))
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)))
111.0ms
(/.f64 (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (/.f64 y (/.f64 (/.f64 (cbrt.f64 1) (cbrt.f64 x)) (+.f64 1 (*.f64 z z)))))
Rules
93569×times-frac_binary64
79176×*-un-lft-identity_binary64
61903×sqrt-prod_binary64
54109×add-sqr-sqrt_binary64
42144×add-cube-cbrt_binary64
16459×distribute-lft-out_binary64
10361×add-exp-log_binary64
10030×cbrt-prod_binary64
8294×add-cbrt-cube_binary64
6866×pow1_binary64
6415×associate-*r*_binary64
4999×associate-/r*_binary64
4424×difference-of-squares_binary64
3969×add-log-exp_binary64
3877×distribute-lft-out--_binary64
3854×associate-*l*_binary64
3482×associate-/r/_binary64
3075×div-inv_binary64
2878×prod-exp_binary64
2449×cbrt-unprod_binary64
2372×flip3-+_binary64 flip-+_binary64
2225×sqrt-div_binary64
2176×associate-/l*_binary64
2156×div-exp_binary64
2016×flip3--_binary64 flip--_binary64
2009×pow-prod-down_binary64
1749×associate-*r/_binary64
1649×cbrt-div_binary64
1577×cbrt-undiv_binary64
1419×unpow-prod-down_binary64
1376×frac-times_binary64
1347×unswap-sqr_binary64
1339×associate-*l/_binary64
1227×log-prod_binary64
913×pow1/3_binary64
818×*-commutative_binary64
815×distribute-rgt-in_binary64 distribute-lft-in_binary64
657×sub-neg_binary64
621×swap-sqr_binary64
552×associate-/l/_binary64
535×sum-log_binary64
525×clear-num_binary64 frac-2neg_binary64
511×sqrt-pow1_binary64
509×cube-prod_binary64
338×associate-+r+_binary64
312×+-commutative_binary64
311×frac-sub_binary64
274×pow1/2_binary64
272×diff-log_binary64
271×pow-prod-up_binary64
270×sqr-pow_binary64
255×associate--l+_binary64
254×rec-exp_binary64 1-exp_binary64
237×log-pow_binary64
226×pow-sqr_binary64
216×associate-+l+_binary64
188×frac-add_binary64
143×pow-unpow_binary64
142×pow-flip_binary64
140×exp-prod_binary64
132×pow-exp_binary64
124×difference-of-sqr-1_binary64
108×div-sub_binary64
102×pow-plus_binary64
97×pow-to-exp_binary64
93×pow2_binary64
91×rem-sqrt-square_binary64
88×log-div_binary64
84×inv-pow_binary64
66×pow-pow_binary64
62×tanh-def-a_binary64 tanh-def-b_binary64 tanh-def-c_binary64
54×unpow-prod-up_binary64
44×associate--r+_binary64
43×rem-log-exp_binary64
42×cube-div_binary64 distribute-rgt-out--_binary64
39×un-div-inv_binary64
37×unpow3_binary64 cube-mult_binary64
36×associate-+l-_binary64
30×pow-div_binary64
29×exp-sum_binary64 cosh-def_binary64
28×rem-cube-cbrt_binary64
25×sinh-def_binary64 distribute-rgt-out_binary64
24×sqrt-unprod_binary64
21×associate-+r-_binary64 pow-sub_binary64
17×distribute-rgt-neg-out_binary64
16×distribute-lft-neg-in_binary64
15×distribute-rgt-neg-in_binary64
14×rem-cbrt-cube_binary64 rem-exp-log_binary64 rem-square-sqrt_binary64
13×sub-div_binary64
12×associate--l-_binary64
9×exp-diff_binary64 cos-sum_binary64
8×associate--r-_binary64 unsub-neg_binary64
7×distribute-rgt1-in_binary64 unpow2_binary64 neg-mul-1_binary64
6×distribute-neg-in_binary64
5×count-2_binary64 e-exp-1_binary64 unpow1/3_binary64 sum-cubes_binary64 distribute-lft1-in_binary64 cos-diff_binary64
4×exp-to-pow_binary64 diff-cos_binary64
3×sqrt-undiv_binary64 neg-sub0_binary64
2×exp-neg_binary64 tan-quot_binary64
1×exp-lft-sqr_binary64 sqrt-pow2_binary64 difference-of-sqr--1_binary64 neg-log_binary64 distribute-lft-neg-out_binary64

localize9.3s (1.1%)

bsearch3.4s (0.4%)

end5.0ms (0.0%)

Profiling

Loading profile data...