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:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
+o rules:numerics

Details

sample1.9m (51.7%)

Algorithm
56×intervals
16×halfpoints
Results
25.7s67241×body1280valid
18.0s16911×body2560valid
9.1s42588×body640valid
3.7s92525×body80valid
2.9s20664×body320valid
2.4s64662×body80nan
1.3s1140×body1280nan
1.2s15708×body80overflowed
994.0ms10929×body160valid
752.0ms47358×pre80true
697.0ms938×body640nan
191.0ms427×body320nan
165.0ms466×body5120valid
55.0ms229×body160nan

prune48.1s (21.5%)

Filtered
22483 candidates to 12116 candidates (53.9%)

series35.4s (15.8%)

Calls

375 calls:

1.1s
(fma (/ (* (+ (tan x) (tan eps)) (fma (tan x) (tan eps) 1)) (- (* 1 1) (* (* (* (tan x) (tan eps)) (* (tan x) (tan eps))) (* (* (tan x) (tan eps)) (* (tan x) (tan eps)))))) (+ 1 (* (* (tan x) (tan eps)) (* (tan x) (tan eps)))) (- (tan x)))
845.0ms
(* (+ (sqrt (/ 1.0 (sqrt x))) (/ (sqrt 1.0) (sqrt (sqrt (+ x 1.0))))) (- (sqrt (/ 1.0 (sqrt x))) (/ (sqrt 1.0) (sqrt (sqrt (+ x 1.0))))))
722.0ms
(- (/ (* (+ (tan x) (tan eps)) (fma (tan x) (tan eps) 1)) (- 1 (* (* (tan x) (tan eps)) (* (tan x) (tan eps))))) (tan x))
530.0ms
(log (+ (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (+ (* (cbrt x) (cbrt x)) (* (cbrt (+ x 1.0)) (cbrt x)))))
513.0ms
(exp (- (log 1.0) (log (+ (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (+ (* (cbrt x) (cbrt x)) (* (cbrt (+ x 1.0)) (cbrt x)))))))

simplify13.9s (6.2%)

Algorithm
194×egg-herbie

rewrite4.8s (2.1%)

Algorithm
122×rewrite-expression-head
Calls

375 calls:

283.0ms
(* (+ (sqrt (/ 1.0 (sqrt x))) (/ (sqrt 1.0) (sqrt (sqrt (+ x 1.0))))) (- (sqrt (/ 1.0 (sqrt x))) (/ (sqrt 1.0) (sqrt (sqrt (+ x 1.0))))))
110.0ms
(- (sqrt (/ 1.0 (sqrt x))) (/ (sqrt 1.0) (sqrt (sqrt (+ x 1.0)))))
55.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
49.0ms
(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))
47.0ms
(- (sqrt (* (* (cbrt (/ 1.0 (sqrt x))) (cbrt (/ 1.0 (sqrt x)))) (cbrt (/ 1.0 (sqrt x))))) (/ (sqrt 1.0) (sqrt (sqrt (+ x 1.0)))))
Rules
17702×times-frac
16928×*-un-lft-identity
16060×sqrt-prod
15134×add-sqr-sqrt
12570×add-cube-cbrt
9013×prod-diff
1696×distribute-rgt-in distribute-lft-in
1414×distribute-lft-out
1275×add-exp-log
1097×unpow-prod-down
1036×cbrt-prod
992×difference-of-squares
850×div-inv
839×add-cbrt-cube
784×distribute-lft-out--
770×associate-*r*
706×pow1
670×associate-/r/
610×add-log-exp
472×cube-prod
463×fma-neg
449×sqrt-div
428×associate-*l*
424×associate-/r*
390×div-exp
366×sqr-pow
364×log1p-expm1-u
362×expm1-log1p-u
338×associate-/l*
326×distribute-rgt-neg-in
313×flip-+ flip3-+
289×log-prod
287×flip-- flip3--
270×associate-+l+
242×prod-exp
239×unswap-sqr
190×distribute-lft-neg-in
184×swap-sqr
171×cbrt-undiv
165×log-pow
146×cbrt-div
125×cbrt-unprod
124×associate-*l/
119×unpow2
116×pow-unpow
115×fma-def
100×diff-log sub-neg
97×frac-times
92×exp-prod
90×log-div
82×pow-prod-down
80×tan-quot
71×unpow3 cube-mult associate-*r/
68×pow-exp
66×neg-mul-1
65×pow-to-exp pow1/3 rec-exp 1-exp
62×frac-add sqrt-pow1
61×clear-num exp-sum frac-2neg
57×pow1/2
53×associate-/l/
51×*-commutative
37×rem-sqrt-square
32×fma-udef
28×sum-log
25×pow-prod-up
24×complex-mul-def
23×frac-sub
22×rem-log-exp
21×pow-sqr neg-sub0
20×associate--r-
18×div-sub +-commutative
17×associate--l+
16×pow-pow
15×associate--l- neg-log
10×pow-plus associate-+l-
9×associate--r+ pow-flip pow2
8×cube-div
7×exp-diff inv-pow
6×*.c-commutative
4×rem-exp-log rem-cube-cbrt log1p-udef log1p-expm1 +.c-commutative expm1-log1p complex-add-def expm1-udef rem-cbrt-cube
3×difference-of-sqr-1 hypot-def sin-mult cos-mult distribute-rgt-out--
2×associate-+l+.c expm1-def difference-cubes sqrt-unprod exp-neg pow-sub rem-square-sqrt associate-*l*.c sub-div tan-sum cos-sum pow-neg sin-sum
1×diff-atan sin-cos-mult diff-cos exp-to-pow diff-sin

regimes3.1s (1.4%)

Accuracy

Total 27.2b remaining (12.4%)

Threshold costs 6.3b (2.9%)

4.4b84.6%quad2m (problem 3.2.1, negative)
3.5b87%quadm (p42, negative)
3.4b0%expq3 (problem 3.4.2)
3.2b88.7%quadp (p42, positive)
3.2b88.7%quad2p (problem 3.2.1, positive)

localize1.8s (0.8%)

bsearch1.0s (0.5%)

end1.0ms (0.0%)