Date:Saturday, February 29th, 2020
Commit:c75aaa3c on more-ival-tests
Hostname:warfa with Racket 7.5
Seed:2020060
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.9m (31.0%)

series4.4m (27.5%)

Calls

2599 calls:

2.7s
(/ (* (cbrt (- (* (* (- 1.0 x) y) (* (- 1.0 x) y)) (* (* x z) (* x z)))) (cbrt (- (* (* (- 1.0 x) y) (* (- 1.0 x) y)) (* (* x z) (* x z))))) (* (cbrt (- (* (- 1.0 x) y) (* x z))) (cbrt (- (* (- 1.0 x) y) (* x z)))))
925.0ms
(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (* (cbrt t) (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)) (cbrt t)) (* (- a (/ 5.0 6.0)) (* t 3.0))))
800.0ms
(- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (* (* (cbrt t) (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)))))
799.0ms
(cbrt (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ (* (cbrt y) (cbrt y)) (cbrt (* (cbrt (- a t)) (cbrt (- a t)))))))
787.0ms
(/ 1 (/ (+ y (* z (- b y))) (+ (* x y) (* z (- t a)))))

sample3.7m (23.3%)

Algorithm
539×intervals
Results
1.4m2642194×body80valid
20.8s512252×body80nan
17.0s46774×body1280valid
9.7s44084×body640valid
3.8s5580×body2560valid
3.6s25050×body320valid
1.3s14203×body160valid
774.0ms1518×body10240exit
107.0ms710×body640nan
97.0ms495×body1280nan
81.0ms34×body5120valid
47.0ms429×body320nan
14.0ms206×body160nan

simplify1.3m (8.1%)

Algorithm
1437×egg-herbie

regimes48.8s (5.1%)

Accuracy

Total 210.5b remaining (38.2%)

Threshold costs 26.4b (4.8%)

20.2b8%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
17.8b43.5%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
13.8b56.6%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.7b4.6%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J
7.6b1.5%Graphics.Rendering.Chart.Axis.Types:linMap from Chart-1.5.3

rewrite30.5s (3.2%)

Algorithm
898×rewrite-expression-head
Calls

2599 calls:

2.4s
(* (/ (cbrt y) (/ (/ (/ (fabs (cbrt (sqrt (- (* z z) (* t a))))) (cbrt z)) (cbrt z)) (cbrt y))) (/ x (sqrt (sqrt (- (* z z) (* t a))))))
404.0ms
(* (/ (/ 1 (* (cbrt 1) (cbrt 1))) y) (/ (/ 1 (cbrt 1)) (/ 1 (/ x y))))
230.0ms
(* (* (cbrt (- y x)) (cbrt (- y x))) (* (/ (cbrt (- y x)) (* (cbrt t) (cbrt t))) (/ z (cbrt t))))
203.0ms
(* (/ (cbrt x) (/ z (cbrt x))) (/ (cbrt x) (/ (- y t) 2.0)))
189.0ms
(/ (+ (/ (- (/ 1 x)) x) (/ (/ 1 y) y)) (- (/ 1 y) (/ 1 x)))
Rules
74590×times-frac
51711×*-un-lft-identity
49551×add-sqr-sqrt
37916×add-cube-cbrt
23305×cbrt-prod
14086×add-exp-log
9686×associate-*l*
9452×add-cbrt-cube
8075×associate-*r*
7152×pow1
4257×prod-exp
3970×add-log-exp
3965×div-exp
3744×cbrt-div
3633×distribute-lft-out
3487×associate-/r*
3444×associate-*r/
3322×associate-*l/
3303×difference-of-squares
3264×distribute-lft-out--
3260×sqrt-prod
3199×div-inv
3143×cbrt-unprod
3120×frac-times
2695×flip3-- flip--
2422×unpow-prod-down
2339×associate-/r/
2220×associate-/l*
2183×pow-prod-down
2077×flip-+ flip3-+
2020×cbrt-undiv
1791×log-prod
1790×unswap-sqr
1584×frac-sub
1395×distribute-rgt-in distribute-lft-in
1093×cube-prod
1050×pow1/3
869×sqrt-div
844×associate-/l/
841×*-commutative
798×distribute-rgt-neg-in
763×swap-sqr
713×sub-neg
651×distribute-lft-neg-in
553×1-exp
551×sqrt-pow1
537×rec-exp
521×clear-num log-pow frac-2neg
510×sqr-pow
486×sum-log
469×exp-prod
460×frac-add
391×pow-exp
373×associate-+l+
370×associate-+r+
296×+-commutative
295×pow-prod-up
286×diff-log
277×associate--l+
251×pow-sqr
188×pow-unpow
187×pow-to-exp
182×pow1/2
134×pow-plus
112×neg-mul-1
111×pow2
110×div-sub
93×sub-div
91×pow-flip
89×exp-sum
87×pow-pow
86×unpow2
83×rem-sqrt-square
81×inv-pow
78×log-div
68×unpow3 cube-mult
58×associate--r+
57×rem-log-exp
51×distribute-rgt-out--
50×tanh-def
42×associate-+l-
40×cube-div
39×distribute-rgt-neg-out
36×un-div-inv
30×rem-cube-cbrt
27×distribute-rgt-out
25×difference-cubes associate-+r-
23×sinh-def
18×exp-diff
14×distribute-lft-neg-out unpow1/3 unsub-neg
13×rem-exp-log
12×sum-cubes rem-cbrt-cube
11×pow-div associate--l- cosh-def
10×neg-sub0
9×sqrt-unprod
8×log-rec rem-square-sqrt tan-quot
7×distribute-rgt1-in distribute-lft1-in difference-of-sqr-1
6×count-2
5×distribute-neg-frac
4×diff-cos
3×sqrt-pow2 exp-neg cos-diff distribute-frac-neg neg-log exp-to-pow mul-1-neg
2×cos-sum pow-neg pow3 pow-sub sin-mult cos-mult
1×sqrt-undiv associate--r-

localize10.4s (1.1%)

bsearch6.8s (0.7%)

end5.0ms (0.0%)