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

sample1.9m (56.5%)

Algorithm
56×intervals
16×halfpoints
Results
25.1s67241×body1280valid
17.8s16911×body2560valid
8.9s42588×body640valid
3.6s92525×body80valid
2.8s20664×body320valid
2.4s64662×body80nan
1.2s1140×body1280nan
1.1s15708×body80overflowed
979.0ms10929×body160valid
715.0ms47358×pre80true
657.0ms938×body640nan
181.0ms427×body320nan
160.0ms466×body5120valid
50.0ms229×body160nan

series36.2s (18.1%)

Calls

401 calls:

1.1s
(- (* (/ (+ (tan x) (tan eps)) (- 1 (* (* (tan x) (tan eps)) (* (tan x) (tan eps))))) (+ 1 (* (tan x) (tan eps)))) (tan x))
965.0ms
(- (* (/ (+ (tan x) (tan eps)) (- 1 (* (* (tan x) (tan eps)) (* (tan x) (tan eps))))) (+ 1 (/ (* (tan x) (sin eps)) (cos eps)))) (tan x))
602.0ms
(- (pow (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) 3) (pow (cos x) 3))
583.0ms
(/ (/ (+ (* 1.0 (* (/ 1.0 (sqrt x)) (+ x 1.0))) (- (* (sqrt x) (* 1.0 1.0)))) (* (+ x 1.0) (sqrt x))) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0)))))
507.0ms
(exp (- (log 1.0) (log (+ (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (+ (* (cbrt x) (cbrt x)) (* (cbrt (+ x 1.0)) (cbrt x)))))))

prune30.3s (15.2%)

Filtered
14198 candidates to 8982 candidates (63.3%)

simplify10.8s (5.4%)

Algorithm
195×egg-herbie

rewrite3.9s (2.0%)

Algorithm
123×rewrite-expression-head
Calls

401 calls:

54.0ms
(/ (/ 1 (/ (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a) c)) a)
52.0ms
(/ (/ (+ (* 1.0 (* (/ 1.0 (sqrt x)) (+ x 1.0))) (- (* (sqrt x) (* 1.0 1.0)))) (* (+ x 1.0) (sqrt x))) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0)))))
52.0ms
(/ (/ (* (* 1.0 1.0) (- (+ x 1.0) x)) (* (+ x 1.0) x)) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0)))))
43.0ms
(/ (- (* (/ 1.0 (sqrt x)) (/ 1.0 (sqrt x))) (* (/ 1.0 (sqrt (+ x 1.0))) (/ 1.0 (sqrt (+ x 1.0))))) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0)))))
37.0ms
(* 2/3 (/ (pow eps 3) (pow 1.0 3)))
Rules
8921×times-frac
7514×*-un-lft-identity
7165×add-sqr-sqrt
4570×add-cube-cbrt
1537×sqrt-prod
1393×add-exp-log
1037×difference-of-squares
993×add-cbrt-cube
911×associate-*r*
904×distribute-lft-out
771×unpow-prod-down
725×pow1
718×add-log-exp
679×cbrt-prod
678×distribute-lft-out--
658×associate-/l*
523×associate-*l*
456×div-inv
407×associate-/r*
364×div-exp
322×sqr-pow
315×associate-/r/
311×cube-prod prod-exp
306×log-prod
273×unswap-sqr
272×flip-+ flip3-+
271×associate-*l/
257×flip-- flip3--
210×swap-sqr
200×cbrt-undiv
171×cbrt-unprod
165×cbrt-div
158×log-pow
126×exp-prod
125×sub-neg
123×pow-unpow
118×frac-times
114×diff-log
111×associate-*r/
108×unpow2
106×associate-/l/ frac-add
91×log-div
81×pow-exp
80×pow-to-exp
79×pow-prod-down
77×*-commutative
74×sqrt-pow1
73×frac-2neg clear-num
70×sqrt-div
63×pow1/3
61×sum-log
60×pow1/2
52×frac-sub
51×distribute-rgt-in distribute-lft-in
48×distribute-rgt-neg-in
46×1-exp rec-exp
45×tan-quot
43×associate--l+
40×unpow3 rem-sqrt-square cube-mult
38×div-sub
31×+-commutative exp-sum
27×pow-prod-up
24×associate-+l+ complex-mul-def
23×pow-sqr rem-log-exp
22×pow-pow difference-of-sqr-1
20×associate--r-
17×neg-sub0
16×associate--r+
14×associate-+l-
13×distribute-rgt-out--
12×cube-div
11×pow-plus pow2
10×associate--l- pow-flip
9×neg-log
8×exp-diff sin-mult
7×cos-mult
6×rem-cube-cbrt inv-pow *.c-commutative exp-to-pow
5×associate-+r+
4×rem-exp-log +.c-commutative complex-add-def sub-div rem-cbrt-cube
3×difference-cubes associate-+r- unsub-neg
2×sqrt-unprod associate-+l+.c exp-neg pow-sub rem-square-sqrt associate-*l*.c cos-sum tan-sum pow-neg sin-sum
1×un-div-inv diff-atan sin-cos-mult diff-cos +-inverses diff-sin

regimes2.9s (1.4%)

Accuracy

Total 24.4b remaining (11.5%)

Threshold costs 8.3b (3.9%)

3.6b0%expq3 (problem 3.4.2)
3.2b88.7%quad2p (problem 3.2.1, positive)
3.1b89%quadp (p42, positive)
2.7b90%quad2m (problem 3.2.1, negative)
2.0b80.3%2cos (problem 3.3.5)

localize1.8s (0.9%)

bsearch1.2s (0.6%)

end1.0ms (0.0%)