Date:Wednesday, March 18th, 2020
Commit:1a959946 on master
Hostname:warfa with Racket 7.5
Seed:2020078
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

series4.6m (29.5%)

Calls

2628 calls:

3.1s
(* (* (cbrt (- x (/ 1.0 3.0))) (cbrt (+ (sqrt x) (/ (sqrt 1.0) (sqrt 3.0))))) (cbrt (- (sqrt x) (/ (sqrt 1.0) (sqrt 3.0)))))
2.1s
(- (* (* 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)))))
2.1s
(/ (- (* (* 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))))
1.6s
(sqrt (* (- y z) (- t x)))
1.6s
(sqrt (* (- y z) (- t x)))

prune4.6m (29.0%)

Filtered
99249 candidates to 66207 candidates (66.7%)

sample3.7m (23.2%)

Algorithm
538×intervals
Results
1.4m2655515×body80valid
20.8s506316×body80nan
17.4s47364×body1280valid
9.7s43146×body640valid
3.8s5668×body2560valid
3.6s24444×body320valid
1.3s13210×body160valid
753.0ms1531×body10240exit
103.0ms705×body640nan
96.0ms535×body1280nan
93.0ms39×body5120valid
47.0ms430×body320nan
16.0ms226×body160nan

simplify1.3m (8.2%)

Algorithm
1447×egg-herbie

regimes50.2s (5.3%)

Accuracy

Total 199.2b remaining (36.2%)

Threshold costs 26.2b (4.8%)

13.6b-25.9%Linear.Matrix:det44 from linear-1.19.1.3
13.4b57.1%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.2b57.4%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
8.8b24.9%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J
7.4b-0.3%Graphics.Rendering.Chart.Axis.Types:linMap from Chart-1.5.3

rewrite28.1s (3.0%)

Algorithm
910×rewrite-expression-head
Calls

2628 calls:

591.0ms
(* (cbrt (/ 1 (/ (/ (+ x 1.0) (+ (/ x y) 1.0)) x))) (cbrt (/ 1 (/ (/ (+ x 1.0) (+ (/ x y) 1.0)) x))))
230.0ms
(- (* (* 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)))))
223.0ms
(* (- 1.0 x) (/ (/ 1 1) (/ y (/ (- 3.0 x) 3.0))))
185.0ms
(cbrt (/ (/ x y) y))
158.0ms
(/ x (/ (/ z (/ (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt y) (cbrt y)))) (/ (cbrt (sin y)) (cbrt y))))
Rules
71154×times-frac
48867×*-un-lft-identity
47459×add-sqr-sqrt
36374×add-cube-cbrt
12815×add-exp-log
11753×cbrt-prod
9721×add-cbrt-cube
7973×associate-*r*
7553×pow1
5210×associate-*l*
5095×sqrt-prod
4437×cbrt-div
4097×add-log-exp
3973×associate-/r*
3937×prod-exp
3671×div-inv
3422×difference-of-squares
3292×cbrt-unprod
3196×unpow-prod-down distribute-lft-out--
3105×flip3-- flip--
3076×distribute-lft-out
3074×div-exp
2971×frac-times
2748×associate-*l/
2573×associate-*r/
2344×associate-/l*
2323×associate-/r/
2225×pow-prod-down
2124×flip-+ flip3-+
2123×cbrt-undiv
1755×unswap-sqr
1708×log-prod
1421×distribute-rgt-in distribute-lft-in
1370×swap-sqr
1347×sqrt-div
1050×pow1/3
857×*-commutative
754×frac-sub
703×sub-neg
641×exp-sum
637×cube-prod
635×associate-/l/
569×sqr-pow
555×sqrt-pow1
534×sum-log
513×clear-num frac-2neg
445×pow-prod-up
430×associate-+l+
424×associate-+r+
368×1-exp
340×rec-exp
325×pow1/2
323×pow-sqr
308×diff-log
295×+-commutative
282×associate--l+
254×log-pow
212×frac-add
203×pow-exp
179×pow-plus
146×pow2
145×cube-div
136×pow-unpow
130×pow-to-exp
120×unpow2
117×rem-sqrt-square
105×pow-flip
94×div-sub
86×associate--r+
83×pow-pow
70×unpow3 cube-mult
69×inv-pow
67×log-div
60×distribute-rgt-neg-in tanh-def
58×distribute-lft-neg-in
52×exp-prod
46×rem-log-exp
39×associate-+l-
37×un-div-inv
36×distribute-rgt-neg-out
34×distribute-rgt-out
33×distribute-rgt-out-- sinh-def
30×rem-cube-cbrt cosh-def
25×associate-+r-
24×sub-div
22×difference-cubes
21×sqrt-unprod
18×rem-exp-log neg-mul-1
16×unsub-neg rem-square-sqrt
15×distribute-lft-neg-out sum-cubes distribute-neg-frac
13×unpow1/3
12×rem-cbrt-cube
9×associate--l-
8×exp-diff associate--r-
7×neg-sub0
6×distribute-rgt1-in distribute-lft1-in sqrt-undiv log-rec
5×count-2 tan-quot exp-to-pow
4×neg-log pow3 diff-cos
3×sqrt-pow2 cos-diff sin-mult cos-mult
2×exp-neg distribute-neg-in cos-sum mul-1-neg
1×+-inverses

localize9.8s (1.0%)

bsearch7.0s (0.7%)

end5.0ms (0.0%)