Date:Tuesday, April 14th, 2020
Commit:681051fe on overflow-detection-both-ends
Hostname:warfa with Racket 7.5
Seed:2020105
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

prune8.0m (67.6%)

Filtered
32861 candidates to 28578 candidates (87.0%)

simplify2.4m (20.6%)

Algorithm
184×egg-herbie

sample36.5s (5.1%)

Algorithm
72×intervals
Results
12.3s293020×body80valid
6.1s14109×body1280valid
2.9s3750×body2560valid
2.4s9597×body640valid
2.2s100676×pre80true
959.0ms6902×body320valid
768.0ms19334×body80nan
673.0ms8902×body160valid
266.0ms200×body5120exit
142.0ms1923×body80overflowed
136.0ms244×body5120valid
4.0ms100×pre80false

series28.5s (4.0%)

Calls

322 calls:

825.0ms
(* (+ (sqrt (pow x 4.0)) (pow y (/ 4.0 2))) (- (sqrt (pow x 4.0)) (pow y (/ 4.0 2))))
425.0ms
(cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3))
415.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))
410.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))
408.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4))

rewrite12.6s (1.8%)

Algorithm
115×rewrite-expression-head
Calls

322 calls:

644.0ms
(+ (* (* (* (+ (pow -2.0 3) (pow (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) 3)) (* 77617.0 77617.0)) (* (- (* -2.0 -2.0) (* (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))))) (* 77617.0 77617.0))) (* 333.75 (pow 33096.0 6.0))) (- (* (* (* (+ (pow -2.0 3) (pow (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) 3)) (* 77617.0 77617.0)) (* (- (* -2.0 -2.0) (* (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))))) (* 77617.0 77617.0))) (- (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))) (* (* (+ (* -2.0 -2.0) (- (* (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))) (* -2.0 (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))))) (- -2.0 (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))))) (* (- (* (* 333.75 (pow 33096.0 6.0)) (* 333.75 (pow 33096.0 6.0))) (* (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))) (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))))))
153.0ms
(- (* (* (* (+ (pow -2.0 3) (pow (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) 3)) (* 77617.0 77617.0)) (* (- (* -2.0 -2.0) (* (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))))) (* 77617.0 77617.0))) (- (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))) (* (* (+ (* -2.0 -2.0) (- (* (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))) (* -2.0 (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))))) (- -2.0 (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))))) (* (- (* (* 333.75 (pow 33096.0 6.0)) (* 333.75 (pow 33096.0 6.0))) (* (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))) (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0)))))))
149.0ms
(- (* (* (* (+ (pow -2.0 3) (pow (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) 3)) (* 77617.0 77617.0)) (* (- (* -2.0 -2.0) (* (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))))) (* 77617.0 77617.0))) (- (* 333.75 (pow 33096.0 6.0)) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))) (* (* (+ (* -2.0 -2.0) (- (* (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))) (* -2.0 (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))))) (- -2.0 (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))))) (* (- (* (* 333.75 (pow 33096.0 6.0)) (* 333.75 (pow 33096.0 6.0))) (* (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))) (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0)))))))
101.0ms
(- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t)))))
85.0ms
(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* (* (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0))) (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)))) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
Rules
97795×associate-*l/
66984×frac-times
34438×flip-+ flip3-+
29012×flip3-- flip--
23031×associate-*r/
20987×frac-sub
16940×frac-add
12960×distribute-neg-frac
5308×times-frac
4404×*-un-lft-identity
4233×add-sqr-sqrt
2810×add-cube-cbrt
1914×add-exp-log
1357×add-cbrt-cube
805×associate-*r*
797×unpow-prod-down
769×pow1
731×add-log-exp
629×associate-*l*
619×prod-exp
613×cbrt-div
542×difference-of-squares
535×div-exp
514×cbrt-prod
511×distribute-lft-out
493×associate-/r*
432×sqrt-prod
427×cbrt-unprod
370×associate-/r/
319×associate-/l*
313×distribute-lft-out--
312×div-inv
306×sqr-pow
293×cbrt-undiv
195×pow-prod-down
178×unpow2
177×unswap-sqr
164×cube-prod
162×sum-log
101×sub-neg
93×distribute-rgt-neg-in sqrt-div
91×swap-sqr
86×associate-/l/
83×*-commutative
82×pow-exp
80×diff-log
79×pow-to-exp
78×distribute-rgt-in distribute-lft-in
74×distribute-rgt-out
72×exp-neg
66×exp-diff
62×neg-sub0
58×clear-num frac-2neg
57×distribute-lft-neg-in
50×1-exp pow1/3 rec-exp
44×+-commutative
40×log-prod
32×rem-sqrt-square cube-mult
31×unpow3
30×associate-+r+ pow-prod-up
27×pow1/2 associate-+l+ sqrt-pow1
26×div-sub
23×pow-plus
22×un-div-inv
21×distribute-rgt1-in
20×pow-sqr log-div
19×neg-mul-1
18×pow-unpow associate--r+
17×pow2
15×associate--l+
11×sum-cubes pow-pow
10×cube-div distribute-rgt-out-- log-pow
9×exp-sum
6×inv-pow pow-flip distribute-frac-neg exp-prod associate-+l-
5×associate--l- distribute-lft-neg-out neg-log rem-cbrt-cube
4×rem-cube-cbrt distribute-lft1-in distribute-neg-in
3×associate-+r- rem-log-exp
2×rem-exp-log exp-to-pow
1×unsub-neg pow3 cube-unmult +-inverses

regimes4.0s (0.6%)

Accuracy

Total 25.6b remaining (7%)

Threshold costs 4.4b (1.2%)

6.1b66.3%Compound Interest
4.6b76.1%Kahan p9 Example
3.1b89%The quadratic formula (r1)
2.8b0%Complex division, imag part
2.1b30.5%Complex division, real part

localize1.7s (0.2%)

bsearch1.1s (0.2%)

end1.0ms (0.0%)