Date:Monday, June 1st, 2020
Commit:29dc5705 on web-tweaks
Hostname:warfa with Racket 7.5
Seed:2020153
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

sample5.1min (43.5%)

Algorithm
539×intervals
Results
1.7min2653939×body80valid
27.2s514279×body80nan
19.3s46839×body1280valid
11.4s43853×body640valid
4.2s24582×body320valid
4.0s5410×body2560valid
1.5s13642×body160valid
179.0ms1112×body640nan
178.0ms881×body1280nan
111.0ms43×body5120valid
83.0ms1564×body80overflowed
81.0ms649×body320nan
28.0ms351×body160nan

prune2.3min (20.1%)

Filtered
85942 candidates to 55654 candidates (35.2%)

regimes1.6min (14.1%)

Accuracy

Total 218.1b remaining (37.8%)

Threshold costs 26.4b (4.6%)

17.9b25%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
12.0b61.4%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
11.6b-8.2%Linear.Matrix:det44 from linear-1.19.1.3
11.1b52.7%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
9.3b-11%Linear.Matrix:det33 from linear-1.19.1.3

simplify1.2min (10.2%)

Algorithm
1421×egg-herbie

series50.1s (7.2%)

Calls

2471 calls:

541.0ms
(/ (+ x (/ (* y z) t)) (* (cbrt (+ (+ a 1.0) (/ (* y b) t))) (cbrt (+ (+ a 1.0) (/ (* y b) t)))))
360.0ms
(- (+ (* x y) (* z t)) (* (+ a (* b c)) (* c i)))
332.0ms
(- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))
279.0ms
(cbrt (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b))))
278.0ms
(cbrt (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b))))

rewrite22.6s (3.2%)

Algorithm
882×rewrite-expression-head
Calls

2471 calls:

208.0ms
(- (* x x) y)
200.0ms
(* (/ (cbrt x) (/ z (cbrt x))) (/ (cbrt x) (/ (- y t) 2.0)))
104.0ms
(* (* 3.0 (sqrt x)) (- (+ y (/ (/ (/ 1.0 x) (sqrt 9.0)) (sqrt 9.0))) 1.0))
97.0ms
(/ (* (cbrt (+ (pow (* y (+ (* x 2.0) y)) 3) (pow (* x x) 3))) (cbrt (+ (pow (* y (+ (* x 2.0) y)) 3) (pow (* x x) 3)))) (* (cbrt (+ (* (* y (+ (* x 2.0) y)) (* y (+ (* x 2.0) y))) (- (* (* x x) (* x x)) (* (* y (+ (* x 2.0) y)) (* x x))))) (cbrt (+ (* (* y (+ (* x 2.0) y)) (* y (+ (* x 2.0) y))) (- (* (* x x) (* x x)) (* (* y (+ (* x 2.0) y)) (* x x)))))))
85.0ms
(* (/ (/ (* (cbrt (- y z)) (cbrt (- y z))) (cbrt (- (+ t 1.0) z))) 1) (* (/ (/ (cbrt (- y z)) (cbrt (- (+ t 1.0) z))) (cbrt (- (+ t 1.0) z))) (- a x)))
Rules
40352×times-frac
36619×*-un-lft-identity
33897×add-sqr-sqrt
24134×add-cube-cbrt
11381×add-exp-log
8520×add-cbrt-cube
8213×sqrt-prod
6563×pow1
6200×associate-*r*
5854×cbrt-prod
4282×associate-*l*
4111×associate-*r/
3940×cbrt-div
3892×add-log-exp
3654×prod-exp
3240×distribute-lft-out--
3233×distribute-lft-out
3038×difference-of-squares
3019×flip-- flip3--
2862×associate-/r*
2780×frac-times
2686×flip-+ flip3-+
2637×associate-/l*
2558×div-exp
2543×cbrt-unprod
2359×associate-*l/
2265×associate-/r/
2052×div-inv
1788×pow-prod-down
1781×cbrt-undiv
1738×log-prod
1444×unswap-sqr
1360×distribute-rgt-in distribute-lft-in
1349×frac-add
1162×swap-sqr
991×pow1/3
928×sqrt-div
873×unpow-prod-down
844×frac-sub
774×*-commutative
724×sub-neg
695×sqrt-pow1
649×associate-/l/
524×cube-prod
507×sum-log
501×clear-num frac-2neg
466×associate-+r+
443×associate-+l+
381×pow-prod-up
374×associate--l+
324×1-exp
322×pow1/2
310×rec-exp
306×log-pow
303×diff-log
285×pow-sqr
283×+-commutative
266×pow-exp
247×pow-to-exp
236×exp-prod
157×sqr-pow
136×pow-plus
121×pow2
107×rem-sqrt-square
101×pow-unpow
98×div-sub
88×exp-sum
79×log-div
74×pow-flip
68×associate--r+
65×rem-log-exp inv-pow
60×tanh-def
59×un-div-inv
58×cube-div pow-pow
43×distribute-rgt-out--
42×distribute-rgt-neg-out
40×unpow2
38×cube-mult unpow3
34×sinh-def
33×distribute-rgt-out associate-+l-
28×rem-exp-log
27×rem-cube-cbrt
26×distribute-lft-neg-in unpow-prod-up distribute-rgt-neg-in
20×sqrt-unprod
19×associate-+r- unsub-neg
17×associate--l-
16×rem-square-sqrt
13×rem-cbrt-cube
11×distribute-lft-neg-out
10×pow-sub
9×cosh-def exp-diff
8×neg-mul-1 distribute-lft1-in sub-div distribute-rgt1-in
7×sqrt-undiv tan-quot sum-cubes distribute-neg-frac
6×count-2 associate--r-
4×neg-sub0 diff-cos sqrt-pow2
3×cos-diff difference-cubes neg-log
2×cos-sum exp-to-pow unpow1/3 sin-mult difference-of-sqr-1
1×pow3 cos-mult

localize9.2s (1.3%)

bsearch2.8s (0.4%)

end4.0ms (0.0%)

Profiling

Loading profile data...