Date:Wednesday, February 26th, 2020
Commit:2c6cda94 on refactor-and-minor
Hostname:warfa with Racket 7.5
Seed:2020057
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

prune4.6m (28.5%)

Filtered
102519 candidates to 65588 candidates (64.0%)

series4.4m (27.4%)

Calls

2670 calls:

2.2s
(/ (- (* (* z (/ (sqrt (+ t a)) (cbrt t))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (cbrt t) (cbrt t)) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* (* (cbrt t) (cbrt t)) (* (- a (/ 5.0 6.0)) (* t 3.0))))
2.0s
(- (* (* z (/ (sqrt (+ t a)) (cbrt t))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (cbrt t) (cbrt t)) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0)))))
1.5s
(cbrt (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))))
1.4s
(* (cbrt (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z))))) (/ t (cbrt (- a z))))
1.3s
(cbrt (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))))

sample3.7m (22.9%)

Algorithm
539×intervals
Results
1.4m2655526×body80valid
21.2s518680×body80nan
17.9s47118×body1280valid
9.6s43010×body640valid
3.9s5393×body2560valid
3.6s24890×body320valid
1.3s13841×body160valid
767.0ms1540×body10240exit
106.0ms43×body5120valid
103.0ms691×body640nan
91.0ms469×body1280nan
44.0ms420×body320nan
16.0ms216×body160nan

simplify1.3m (8.2%)

Algorithm
1465×egg-herbie

rewrite58.8s (6.1%)

Algorithm
926×rewrite-expression-head
Calls

2670 calls:

1.2s
(* (+ (/ x (sqrt (+ x (/ 1.0 3.0)))) (/ (/ 1.0 3.0) (sqrt (+ x (/ 1.0 3.0))))) (- (/ x (sqrt (+ x (/ 1.0 3.0)))) (/ (/ 1.0 3.0) (sqrt (+ x (/ 1.0 3.0))))))
1.1s
(* (cbrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))) (cbrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))))
1.1s
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i))
1.0s
(* (/ (/ 1 (* (cbrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))) (cbrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) y) (/ (/ (pow (/ 1 a) 1.0) (cbrt (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) (/ 1 x)))
979.0ms
(+ (+ (+ (+ (+ x y) y) x) z) x)
Rules
72927×times-frac
53665×*-un-lft-identity
51303×add-sqr-sqrt
36380×add-cube-cbrt
12978×add-exp-log
12677×sqrt-prod
9377×add-cbrt-cube
8639×cbrt-prod
7545×associate-*r*
7317×pow1
5715×difference-of-squares
4841×distribute-lft-out--
4400×associate-*l*
4254×add-log-exp
4178×distribute-lft-out
4105×associate-/r*
3947×unpow-prod-down
3934×cbrt-div
3631×div-exp
3573×prod-exp
3135×div-inv
3134×flip-- flip3--
3124×associate-/l*
3016×associate-*l/
2819×cbrt-unprod
2641×frac-times
2623×associate-/r/
2589×associate-*r/
2338×flip-+ flip3-+
2081×pow-prod-down
2029×cbrt-undiv
1545×unswap-sqr
1540×log-prod
1501×sqrt-div
1254×distribute-rgt-in distribute-lft-in
1211×cube-prod
975×pow1/3
904×frac-sub
835×*-commutative
822×swap-sqr
766×sub-neg
700×sqrt-pow1
688×sqr-pow
686×associate-/l/
640×exp-sum
623×log-pow
619×frac-add
613×exp-prod
561×sum-log
546×clear-num frac-2neg
456×1-exp
409×rec-exp
406×pow-prod-up
373×associate--l+
357×associate-+r+
324×diff-log
322×associate-+l+
315×pow-sqr
312×pow1/2
311×+-commutative
310×pow-exp
166×pow-unpow
163×unpow2
158×pow-plus
148×pow-to-exp
132×pow2
122×div-sub
105×rem-sqrt-square
97×sum-cubes
78×pow-pow
75×pow-flip
73×inv-pow
59×cube-div tanh-def
58×log-div
57×rem-log-exp
55×associate--r+
44×un-div-inv
42×unpow3 cube-mult
36×distribute-rgt-neg-in associate-+l-
35×distribute-rgt-out--
32×rem-cube-cbrt difference-cubes distribute-lft-neg-in
31×sub-div distribute-rgt-neg-out
29×rem-exp-log
27×sinh-def
23×distribute-rgt-out
22×sqrt-unprod associate-+r-
19×rem-square-sqrt
18×distribute-lft-neg-out unsub-neg cosh-def
15×neg-mul-1
12×neg-sub0
11×unpow1/3 associate--r-
10×sin-mult rem-cbrt-cube
8×associate--l-
7×neg-log sin-neg tan-quot log-rec
6×exp-diff distribute-rgt1-in
5×sqrt-undiv distribute-neg-in distribute-lft1-in count-2 sin-diff
4×sqrt-pow2 diff-cos
3×cos-diff
2×exp-to-pow cos-sum cos-mult
1×e-exp-1 pow3 exp-neg unpow-prod-up cube-unmult unpow1/2 mul-1-neg

regimes51.6s (5.3%)

Accuracy

Total 194.6b remaining (35.4%)

Threshold costs 24.2b (4.4%)

13.2b57.7%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
11.4b53.3%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
11.3b-5.2%Linear.Matrix:det44 from linear-1.19.1.3
10.5b55.2%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
8.5b21%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J

localize10.1s (1.0%)

bsearch6.1s (0.6%)

end5.0ms (0.0%)