Date:Wednesday, March 4th, 2020
Commit:29625745 on findroot
Hostname:warfa with Racket 7.5
Seed:2020064
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.1m (28.3%)

Calls

2476 calls:

4.2s
(pow (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) 3)
812.0ms
(/ 1 (/ (+ y (* z (- b y))) (+ (* x y) (* z (- t a)))))
762.0ms
(* (cbrt (/ (pow (/ x (+ x y)) x) x)) (cbrt (/ (pow (/ x (+ x y)) x) x)))
753.0ms
(+ (* (+ y 0.5) (* 2 (log (cbrt y)))) (* (log (cbrt y)) (+ y 0.5)))
716.0ms
(pow (log (- 1.0 (/ y x))) 3)

sample3.9m (26.8%)

Algorithm
538×intervals
Results
1.5m2654462×body80valid
22.6s508891×body80nan
18.2s47551×body1280valid
10.1s43039×body640valid
4.0s5648×body2560valid
3.9s24937×body320valid
1.4s13704×body160valid
816.0ms1616×body10240exit
123.0ms47×body5120valid
109.0ms701×body640nan
95.0ms468×body1280nan
47.0ms401×body320nan
19.0ms271×body160nan

prune3.8m (26.1%)

simplify1.2m (8.2%)

Algorithm
1418×egg-herbie

regimes50.8s (5.8%)

Accuracy

Total 187.4b remaining (34.2%)

Threshold costs 28.2b (5.2%)

12.2b-0%Linear.Matrix:det44 from linear-1.19.1.3
12.2b61.2%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
9.8b58.5%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
8.1b17%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J
7.5b61%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1

rewrite23.6s (2.7%)

Algorithm
881×rewrite-expression-head
Calls

2476 calls:

192.0ms
(/ 1 (- x (* y z)))
97.0ms
(* (cbrt (/ (pow (/ x (+ x y)) x) x)) (cbrt (/ (pow (/ x (+ x y)) x) x)))
91.0ms
(* (/ (/ 1 (/ (+ x y) x)) (+ x y)) (/ y (+ (+ x y) 1.0)))
77.0ms
(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ (/ 1 (* (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))))
73.0ms
(* (/ 1 z) (/ 1 (/ (/ (- y t) 2.0) x)))
Rules
30616×times-frac
30045×*-un-lft-identity
29845×add-sqr-sqrt
20093×add-cube-cbrt
11557×add-exp-log
8823×add-cbrt-cube
7023×pow1
6895×associate-*r*
6384×cbrt-prod
6144×cbrt-div
4715×frac-times
4457×associate-*l*
3827×add-log-exp
3775×flip3-- flip--
3594×prod-exp
3274×associate-*r/
3029×difference-of-squares
2948×associate-/r*
2929×sqrt-prod
2907×distribute-lft-out--
2817×cbrt-unprod
2584×associate-*l/
2580×div-exp
2306×associate-/r/
2243×distribute-lft-out
2158×pow-prod-down
2009×associate-/l*
1870×flip-+ flip3-+
1780×cbrt-undiv
1736×div-inv
1568×unswap-sqr
1529×unpow-prod-down
1392×log-prod
1311×distribute-rgt-in distribute-lft-in
1074×sqrt-div
984×pow1/3
908×swap-sqr
815×*-commutative
698×sub-neg
629×frac-add
530×sqrt-pow1
493×sum-log
491×clear-num frac-2neg
477×frac-sub
443×associate-/l/
414×associate--l+
412×cube-prod
391×associate-+l+
359×pow-prod-up
340×associate-+r+
332×1-exp
329×rec-exp
296×+-commutative
293×pow-sqr
282×sqr-pow
269×log-pow
260×diff-log
254×pow1/2
229×pow-exp
165×pow-unpow
148×exp-prod
136×pow-to-exp
133×pow-plus
116×unpow2
114×pow2
100×div-sub
88×rem-sqrt-square
82×associate--r+
71×cube-div
69×pow-flip
68×tanh-def
67×pow-pow
66×exp-sum
65×inv-pow
61×log-div
54×un-div-inv
40×distribute-rgt-neg-out associate-+l-
39×rem-log-exp
36×sum-cubes
34×distribute-rgt-out-- unpow3 cube-mult
29×distribute-lft-neg-in
28×distribute-rgt-neg-in
24×associate-+r-
23×unsub-neg
22×distribute-rgt-out sinh-def
21×rem-cube-cbrt distribute-lft-neg-out sub-div
20×sqrt-unprod
18×cosh-def
17×neg-mul-1
15×rem-square-sqrt
14×rem-exp-log
13×unpow1/3
12×rem-cbrt-cube
11×associate--l- neg-sub0
6×exp-diff distribute-rgt1-in diff-cos neg-log tan-quot
5×distribute-lft1-in count-2 associate--r-
4×exp-to-pow log-rec
3×difference-cubes cos-diff sin-mult cos-mult pow-neg
2×cos-sum exp-neg pow-sub mul-1-neg
1×sqrt-undiv e-exp-1 pow3 unpow-prod-up

localize10.7s (1.2%)

bsearch7.3s (0.8%)

end5.0ms (0.0%)