Date:Saturday, February 29th, 2020
Commit:c75aaa3c on more-ival-tests
Hostname:warfa with Racket 7.5
Seed:2020060
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.8m (53.7%)

Algorithm
56×intervals
16×halfpoints
Results
23.0s67769×body1280valid
17.6s17371×body2560valid
7.7s42784×body640valid
4.1s13179×body10240exit
2.8s91935×body80valid
2.4s20746×body320valid
1.8s63877×body80nan
1.3s2236×body1280nan
800.0ms10734×body160valid
745.0ms1856×body640nan
567.0ms47410×pre80true
222.0ms906×body320nan
138.0ms461×body5120valid
63.0ms444×body160nan

prune39.9s (19.4%)

series34.5s (16.8%)

Calls

377 calls:

898.0ms
(fma (/ (+ (tan x) (tan eps)) (- (pow 1 3) (pow (/ (* (tan x) (sin eps)) (cos eps)) 3))) (+ (* 1 1) (+ (* (/ (* (tan x) (sin eps)) (cos eps)) (/ (* (tan x) (sin eps)) (cos eps))) (* 1 (/ (* (tan x) (sin eps)) (cos eps))))) (- (tan x)))
496.0ms
(/ (* 1.0 (/ (+ x (- 1.0 x)) (+ (sqrt (+ x 1.0)) (sqrt x)))) (* (sqrt x) (sqrt (+ x 1.0))))
489.0ms
(/ (* 1.0 (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))) (* (sqrt x) (sqrt (+ x 1.0))))
431.0ms
(+ (log (/ (sqrt (- 1.0 eps)) (+ (* 1.0 1.0) (- (* eps eps) (* 1.0 eps))))) (log (/ (sqrt (- 1.0 eps)) (+ 1.0 eps))))
353.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (/ (* (tan x) (sin eps)) (cos eps)))) (tan x))

simplify10.8s (5.3%)

Algorithm
192×egg-herbie

rewrite3.8s (1.9%)

Algorithm
120×rewrite-expression-head
Calls

377 calls:

56.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
50.0ms
(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))
38.0ms
(/ (/ (+ 1.0 0) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))
37.0ms
(* (/ (sqrt (log (exp (- 1.0 (cos x))))) x) (/ (sqrt (- 1.0 (cos x))) x))
35.0ms
(* (cbrt (+ (/ 1 b) (/ 1 a))) (cbrt (+ (/ 1 b) (/ 1 a))))
Rules
10607×*-un-lft-identity
9316×times-frac
8859×add-sqr-sqrt
6724×add-cube-cbrt
3867×prod-diff
2739×sqrt-prod
1302×distribute-lft-out
1269×unpow-prod-down
1254×add-exp-log
935×add-cbrt-cube
854×difference-of-squares
797×pow1
752×distribute-lft-out--
640×add-log-exp
593×associate-*r*
560×div-inv
521×associate-*l*
506×fma-neg
463×log-prod
461×sqr-pow
458×associate-/r/
452×associate-/r*
433×associate-/l*
370×cbrt-prod
363×log1p-expm1-u
362×expm1-log1p-u
353×div-exp
339×associate-+l+
330×cube-prod
272×distribute-rgt-neg-in
255×flip-- flip3--
237×prod-exp
207×flip-+ flip3-+
206×unswap-sqr
200×cbrt-undiv
195×log-pow
180×distribute-lft-neg-in
162×cbrt-unprod
148×sqrt-div unpow2
145×swap-sqr
134×associate-+r+
127×fma-def
125×sqrt-pow1
120×sub-neg
117×diff-log
105×distribute-rgt-in exp-sum distribute-lft-in
99×associate-*l/
91×pow1/2
86×pow-unpow
83×pow-prod-down
77×cbrt-div
70×pow1/3
67×frac-2neg clear-num
61×pow-prod-up
60×neg-mul-1 associate-*r/
59×unpow3 cube-mult pow-exp
58×exp-prod
56×pow-to-exp frac-times associate--l+
54×associate-/l/
52×*-commutative
46×log-div 1-exp
43×rec-exp
33×rem-sqrt-square
31×tan-quot pow-sqr sum-log
27×pow-pow
26×fma-udef
25×frac-add
24×complex-mul-def
23×neg-sub0
22×div-sub rem-log-exp
20×+-commutative
18×frac-sub
15×associate--l-
14×pow-flip associate-+l-
13×sum-cubes
12×inv-pow pow2 pow-plus
11×exp-diff neg-log associate--r+
8×rem-cube-cbrt difference-cubes sqrt-unprod hypot-def
6×*.c-commutative
5×associate-+r- associate--r-
4×exp-neg +.c-commutative complex-add-def cos-mult
3×rem-square-sqrt sin-mult expm1-udef
2×rem-exp-log associate-+l+.c expm1-def sub-div pow-sub difference-of-sqr-1 expm1-log1p associate-*l*.c cos-sum tan-sum distribute-rgt-out-- pow-neg sin-sum
1×cube-div sin-cos-mult sqrt-pow2 log1p-udef diff-atan log1p-expm1 diff-cos frac-2neg.c exp-to-pow diff-sin

regimes3.3s (1.6%)

Accuracy

Total 30.4b remaining (14%)

Threshold costs 7.9b (3.6%)

4.5b84.3%quad2m (problem 3.2.1, negative)
4.4b84.7%quadm (p42, negative)
3.7b86.9%quad2p (problem 3.2.1, positive)
3.7b87.2%quadp (p42, positive)
3.3b0%expq3 (problem 3.4.2)

localize1.8s (0.9%)

bsearch954.0ms (0.5%)

end1.0ms (0.0%)