Date:Thursday, May 7th, 2020
Commit:0fcb7b8e on separate-biginterval
Hostname:warfa with Racket 7.5
Seed:2020128
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

sample47.9s (29.8%)

Algorithm
51×intervals
Results
10.3s189968×body80nan
8.5s167664×body80valid
7.5s19675×body1280valid
2.7s10023×body640valid
2.6s3175×body2560valid
1.6s3211×body2560nan
918.0ms4737×body320valid
857.0ms2580×body1280nan
648.0ms16512×pre80true
307.0ms1317×body640nan
301.0ms2250×body160valid
119.0ms696×body320nan
83.0ms312×body5120exit
45.0ms346×body160nan
1.0ms3×body5120valid

series41.8s (26.1%)

Calls

375 calls:

619.0ms
(/ 1 (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
519.0ms
(/ (+ (* (* z (sqrt (+ t a))) (+ b c)) (neg (* (* t (- (* b b) (* c c))) (+ a (- (/ 5.0 6.0) (/ 2.0 (* t 3.0))))))) (* t (+ b c)))
490.0ms
(+ (* (* z (sqrt (+ t a))) (+ b c)) (neg (* (* t (- (* b b) (* c c))) (+ a (- (/ 5.0 6.0) (/ 2.0 (* t 3.0)))))))
477.0ms
(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
453.0ms
(* (* (* (- y z) (* (cbrt (/ 1 (- (+ t 1.0) z))) (cbrt (/ 1 (- (+ t 1.0) z))))) (cbrt (/ 1 (- (+ t 1.0) z)))) (- a x))

prune41.4s (25.8%)

Filtered
12796 candidates to 8243 candidates (64.4%)

regimes14.0s (8.7%)

Accuracy

Total 12.7b remaining (16.4%)

Threshold costs 1.9b (2.4%)

2.6b0%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2
2.6b0%cos(2*x)/(cos^2(x)*sin^2(x))
1.8b71.8%Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1
1.6b61.7%Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3
1.1b0%Numeric.SpecFunctions:logGamma from math-functions-0.1.5.2

simplify8.9s (5.5%)

Algorithm
159×egg-herbie

rewrite3.6s (2.3%)

Algorithm
108×rewrite-expression-head
Calls

375 calls:

82.0ms
(* (* x (sqrt (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) (/ (sqrt (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b))))) y))
57.0ms
(/ (+ (* (* (cbrt (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616)) (cbrt (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616))) (* (cbrt (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616)) y)) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
43.0ms
(/ (/ (neg (+ f n)) (sqrt (- f n))) (sqrt (- f n)))
41.0ms
(* (* (* (- y z) (* (cbrt (/ 1 (- (+ t 1.0) z))) (cbrt (/ 1 (- (+ t 1.0) z))))) (cbrt (/ 1 (- (+ t 1.0) z)))) (- a x))
41.0ms
(/ (* (* x (sqrt (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) (sqrt (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))) y)
Rules
5861×times-frac
5071×*-un-lft-identity
4906×add-sqr-sqrt
3465×add-cube-cbrt
2089×add-exp-log
1606×sqrt-prod
1205×add-cbrt-cube
924×prod-exp
923×pow1
872×associate-*r*
584×add-log-exp
570×cbrt-prod
536×difference-of-squares
507×associate-*l*
496×associate-*r/
495×distribute-lft-out--
448×flip3-- distribute-rgt-neg-in flip--
441×frac-times
429×distribute-lft-neg-in
409×associate-/l*
375×associate-/r*
374×div-exp
366×cbrt-unprod
331×distribute-lft-out
327×unpow-prod-down associate-*l/
299×flip-+ flip3-+
250×pow-prod-down
237×div-inv
226×associate-/r/
218×sqrt-div
215×cbrt-div
201×distribute-rgt-in distribute-lft-in
199×cbrt-undiv log-prod
170×frac-add
158×unswap-sqr
154×sub-neg
150×pow-exp
143×pow-to-exp
132×distribute-neg-frac
125×*-commutative
118×associate-/l/
112×frac-sub
111×neg-mul-1
102×sqrt-pow1
80×pow1/3
75×exp-sum
73×pow-unpow
71×log-pow
64×diff-log pow1/2 clear-num associate-+r+ frac-2neg
54×sum-log
52×associate-+l+
50×1-exp rec-exp
48×sqr-pow cube-prod
46×exp-prod
34×sin-mult
28×swap-sqr cos-mult
27×tan-quot
26×rem-sqrt-square +-commutative
22×pow-pow
21×pow-prod-up
19×neg-sub0
18×sub-div associate--r+ associate-+l-
16×cube-div div-sub
15×inv-pow distribute-rgt-out-- pow-sqr pow-flip
12×un-div-inv log-div
11×neg-log
10×associate--l+
9×rem-exp-log
8×distribute-neg-in log-rec
7×distribute-frac-neg unpow3 cube-mult
6×associate--l-
5×distribute-lft-neg-out pow2 pow-plus
4×associate-+r- unpow-prod-up sqrt-unprod
3×exp-diff rem-cube-cbrt pow-neg pow-sub distribute-rgt-neg-out
2×mul-1-neg cos-sum unsub-neg tan-sum rem-log-exp
1×e-exp-1 exp-neg rem-square-sqrt rem-cbrt-cube

localize2.8s (1.7%)

bsearch56.0ms (0.0%)

end0.0ms (0.0%)

Profiling

Loading profile data...