Date:Friday, August 7th, 2020
Commit:ae72a3a6 on plugins
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 (27.7%)

Algorithm
538×intervals
Results
1.2min2092691×body80valid
26.4s289376×body80invalid
18.4s40445×body1280valid
12.0s41071×body640valid
6.6s89112×body80nan
4.2s5541×body2560valid
4.2s21986×body320valid
2.0s6649×body1280invalid
1.4s11340×body160valid
1.3s6312×body640invalid
530.0ms3726×body320invalid
209.0ms2194×body160invalid
196.0ms903×body1280nan
194.0ms1122×body640nan
113.0ms46×body5120valid
91.0ms670×body320nan
51.0ms897×body80overflowed
32.0ms373×body160nan

series2.7min (20.2%)

Calls

2557 calls:

1.7min
(-.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.8s
(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))))))
440.0ms
(*.f64 (pow.f64 y 2/3) (sqrt.f64 (cbrt.f64 y)))
427.0ms
(cbrt.f64 (*.f64 (/.f64 (-.f64 y z) (-.f64 (+.f64 t 1) z)) (-.f64 a x)))

analyze1.9min (14.4%)

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

prune1.8min (13.4%)

Filtered
101275 candidates to 60092 candidates (40.7%)

simplify1.2min (9.5%)

Algorithm
1425×egg-herbie

regimes1.2min (9.3%)

Accuracy

Total 208.4b 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

rewrite30.5s (3.9%)

Algorithm
887×rewrite-expression-head
Calls

2557 calls:

319.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)))))))
305.0ms
(+.f64 x (/.f64 1 (/.f64 (/.f64 1 (-.f64 y z)) (-.f64 t x))))
257.0ms
(+.f64 (/.f64 x y) (+.f64 -2 (+.f64 (/.f64 (sqrt.f64 2) (/.f64 z (/.f64 (sqrt.f64 2) t))) (/.f64 2 t))))
197.0ms
(/.f64 y (-.f64 z a))
99.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
93460×times-frac_binary64
79110×*-un-lft-identity_binary64
61903×sqrt-prod_binary64
54036×add-sqr-sqrt_binary64
42082×add-cube-cbrt_binary64
16458×distribute-lft-out_binary64
10335×add-exp-log_binary64
10033×cbrt-prod_binary64
8270×add-cbrt-cube_binary64
6845×pow1_binary64
6416×associate-*r*_binary64
4977×associate-/r*_binary64
4404×difference-of-squares_binary64
3966×add-log-exp_binary64
3875×distribute-lft-out--_binary64
3845×associate-*l*_binary64
3471×associate-/r/_binary64
3069×div-inv_binary64
2871×prod-exp_binary64
2440×cbrt-unprod_binary64
2373×flip3-+_binary64 flip-+_binary64
2225×sqrt-div_binary64
2170×associate-/l*_binary64
2150×div-exp_binary64
2009×flip3--_binary64 flip--_binary64
1999×pow-prod-down_binary64
1742×associate-*r/_binary64
1649×cbrt-div_binary64
1574×cbrt-undiv_binary64
1419×unpow-prod-down_binary64
1378×frac-times_binary64
1348×unswap-sqr_binary64
1341×associate-*l/_binary64
1227×log-prod_binary64
916×pow1/3_binary64
814×*-commutative_binary64
809×distribute-rgt-in_binary64 distribute-lft-in_binary64
648×sub-neg_binary64
621×swap-sqr_binary64
552×associate-/l/_binary64
536×sum-log_binary64
523×clear-num_binary64 frac-2neg_binary64
511×sqrt-pow1_binary64
509×cube-prod_binary64
338×associate-+r+_binary64
313×+-commutative_binary64
311×frac-sub_binary64
274×pow1/2_binary64
271×diff-log_binary64 pow-prod-up_binary64
270×sqr-pow_binary64
255×associate--l+_binary64
253×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
141×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
83×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
40×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.2%)

bsearch3.3s (0.4%)

end5.0ms (0.0%)

Profiling

Loading profile data...