Date:Sunday, April 12th, 2020
Commit:48b457a7 on overflow-detection-both-ends
Hostname:warfa with Racket 7.5
Seed:2020103
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

sample1.9m (53.9%)

Algorithm
56×intervals
16×halfpoints
Results
25.6s67576×body1280valid
18.8s17477×body2560valid
9.0s42203×body640valid
3.7s92321×body80valid
2.9s20703×body320valid
2.4s64359×body80nan
1.2s1098×body1280nan
1.1s15548×body80overflowed
992.0ms10865×body160valid
738.0ms47482×pre80true
656.0ms925×body640nan
196.0ms453×body320nan
191.0ms466×body5120valid
55.0ms237×body160nan

series39.8s (18.8%)

Calls

372 calls:

1.7s
(cbrt (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))))
1.4s
(- (* (/ (+ (tan x) (tan eps)) (- 1 (pow (* (tan x) (tan eps)) 3))) (+ (* 1 1) (+ (* (* (tan x) (tan eps)) (* (tan x) (tan eps))) (* 1 (* (tan x) (tan eps)))))) (tan x))
1.3s
(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (+ (* 1/6 (pow (* b eps) 3)) (+ (* 1/2 (* (pow eps 2) (pow b 2))) (* eps b)))))
1.2s
(- (+ (+ (/ (* (pow (sin x) 2) (pow (sin eps) 3)) (* (pow (cos x) 2) (* (- 1 (/ (* (pow (sin x) 3) (pow (sin eps) 3)) (* (pow (cos x) 3) (pow (cos eps) 3)))) (pow (cos eps) 3)))) (* (/ (pow (sin eps) 2) (* (- 1 (/ (* (pow (sin x) 3) (pow (sin eps) 3)) (* (pow (cos x) 3) (pow (cos eps) 3)))) (pow (cos eps) 2))) (+ (/ (sin x) (cos x)) (/ (pow (sin x) 3) (pow (cos x) 3))))) (/ (sin x) (* (- 1 (/ (* (pow (sin x) 3) (pow (sin eps) 3)) (* (pow (cos x) 3) (pow (cos eps) 3)))) (cos x)))) (/ (sin x) (cos x)))
1.0s
(/ (+ (* (- (* (* (sqrt 1.0) (sqrt (/ 1.0 (+ x 1.0)))) x) (* (sqrt (+ x 1.0)) 2.0)) (- x 1.0)) (* (* (sqrt (+ x 1.0)) x) 1.0)) (* (* (sqrt (+ x 1.0)) x) (- x 1.0)))

prune36.6s (17.3%)

Filtered
16635 candidates to 10048 candidates (60.4%)

simplify11.0s (5.2%)

Algorithm
189×egg-herbie

rewrite4.5s (2.1%)

Algorithm
117×rewrite-expression-head
Calls

372 calls:

202.0ms
(/ (/ (/ a (/ (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) c)) (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))) a)
51.0ms
(* (pow (sqrt (sqrt (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x))))) 3) (sqrt (sqrt (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x))))))
49.0ms
(/ (/ a (/ (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) c)) (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
37.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
36.0ms
(* (sqrt (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))))
Rules
20585×times-frac
14549×add-sqr-sqrt
12866×*-un-lft-identity
8665×add-cube-cbrt
7863×sqrt-prod
2612×difference-of-squares
1545×distribute-lft-out--
1524×associate-/l*
1233×add-exp-log
934×add-cbrt-cube
911×associate-*r*
792×unpow-prod-down
722×pow1
664×add-log-exp
604×distribute-lft-out
534×associate-*l*
393×div-inv
330×sqr-pow
328×unswap-sqr
318×prod-exp
314×associate-/r*
281×associate-*l/
280×cube-prod
271×cbrt-prod
266×associate-/r/
264×div-exp
258×flip3-- flip--
245×log-prod
219×sqrt-div
184×flip-+ flip3-+
178×cbrt-undiv
177×cbrt-unprod
148×unpow2
125×associate-*r/
121×sub-neg
119×diff-log
111×pow-prod-down
108×frac-add
106×distribute-rgt-neg-in
97×frac-times
95×associate-/l/
94×swap-sqr
91×pow-exp
89×pow-to-exp
75×frac-sub
72×cbrt-div log-pow
70×*-commutative
69×sqrt-pow1
64×frac-2neg clear-num
59×pow1/2 tan-quot
56×pow1/3
45×log-div exp-sum
44×sum-log
43×rem-sqrt-square
40×unpow3 cube-mult
33×exp-prod
32×associate-+l+
30×distribute-rgt-in associate-+r+ distribute-lft-in
27×pow-prod-up
25×+-commutative div-sub
24×pow-unpow complex-mul-def associate--l+
23×1-exp
22×pow-sqr
20×rec-exp
16×associate--r+
15×rem-log-exp
13×pow-pow neg-sub0
12×pow-plus associate-+l-
11×distribute-lft-neg-in associate--l- neg-mul-1 sin-mult
10×exp-diff
9×rem-cube-cbrt pow2
8×cube-div cos-mult
7×neg-log
6×*.c-commutative
5×sqrt-unprod associate-+r- distribute-rgt-out--
4×rem-exp-log inv-pow +.c-commutative pow-flip complex-add-def exp-to-pow
3×un-div-inv associate--r- sin-cos-mult sub-div distribute-neg-frac
2×cos-sum difference-cubes associate-+l+.c exp-neg difference-of-sqr-1 rem-square-sqrt distribute-frac-neg associate-*l*.c sqr-cos tan-sum rem-cbrt-cube frac-2neg.c sin-sum
1×sqrt-pow2 diff-atan sqr-sin diff-cos unsub-neg distribute-rgt-out distribute-rgt-neg-out diff-sin

regimes2.7s (1.3%)

Accuracy

Total 24.4b remaining (12.2%)

Threshold costs 5.6b (2.8%)

3.2b87.6%quad2m (problem 3.2.1, negative)
3.1b0%expq3 (problem 3.4.2)
2.9b70.3%2cos (problem 3.3.5)
2.7b89.5%quad2p (problem 3.2.1, positive)
2.0b82.2%2nthrt (problem 3.4.6)

localize1.9s (0.9%)

bsearch1.2s (0.6%)

end1.0ms (0.0%)