Date:Friday, February 28th, 2020
Commit:6d7f8a61 on more-ival-tests
Hostname:warfa with Racket 7.5
Seed:2020059
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 (52.4%)

Algorithm
56×intervals
16×halfpoints
Results
24.0s68020×body1280valid
18.2s17865×body2560valid
7.8s41908×body640valid
4.3s13113×body10240exit
3.1s92425×body80valid
2.5s20092×body320valid
1.9s64190×body80nan
1.3s2244×body1280nan
837.0ms10574×body160valid
768.0ms1864×body640nan
576.0ms47542×pre80true
224.0ms871×body320nan
130.0ms460×body5120valid
71.0ms464×body160nan

prune42.5s (19.4%)

series41.2s (18.8%)

Calls

371 calls:

2.3s
(log (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3))
2.3s
(log (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3))
1.5s
(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (fma 1/6 (* (pow eps 3) (pow b 3)) (fma 1/2 (* (pow eps 2) (pow b 2)) (* eps b)))))
1.3s
(- (+ (+ (/ (* (pow (sin x) 2) (pow (sin eps) 3)) (* (- 1 (/ (* (pow (sin x) 3) (pow (sin eps) 3)) (* (pow (cos x) 3) (pow (cos eps) 3)))) (* (pow (cos x) 2) (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)))
866.0ms
(fma (fma (fma (tan x) (tan eps) 1) (* (tan x) (tan eps)) 1) (/ (+ (tan x) (tan eps)) (- 1 (pow (* (tan x) (tan eps)) 3))) (- (tan x)))

simplify10.8s (4.9%)

Algorithm
190×egg-herbie

rewrite3.7s (1.7%)

Algorithm
118×rewrite-expression-head
Calls

371 calls:

56.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
51.0ms
(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))
48.0ms
(/ (/ 1 (/ 1 1)) (/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) c))
44.0ms
(- (/ x (- x (tan x))) (/ (sin x) (- x (tan x))))
43.0ms
(- (+ (+ (/ (* (pow (sin x) 2) (pow (sin eps) 3)) (* (- 1 (/ (* (pow (sin x) 3) (pow (sin eps) 3)) (* (pow (cos x) 3) (pow (cos eps) 3)))) (* (pow (cos x) 2) (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)))
Rules
11944×times-frac
11085×*-un-lft-identity
10246×add-sqr-sqrt
7629×add-cube-cbrt
3845×prod-diff
2047×sqrt-prod
1318×add-exp-log
1264×unpow-prod-down
1106×difference-of-squares
1019×distribute-lft-out--
856×add-cbrt-cube
760×distribute-lft-out
659×div-inv
644×pow1
626×add-log-exp
546×associate-/l*
507×associate-*r*
472×distribute-rgt-neg-in
471×cbrt-prod
450×associate-/r/
447×div-exp
445×fma-neg
417×sqr-pow
407×associate-/r*
367×associate-*l*
356×log1p-expm1-u
355×expm1-log1p-u
339×log-prod
280×flip-- flip3--
270×associate-+l+
261×prod-exp
257×cube-prod
252×exp-sum
247×exp-prod
223×unswap-sqr
212×log-pow
200×flip-+ flip3-+
191×distribute-rgt-in distribute-lft-in
182×cbrt-undiv
180×distribute-lft-neg-in
176×sqrt-div
161×sqrt-pow1
160×unpow2
150×associate-*l/
127×sub-neg
124×pow-exp
122×cbrt-unprod
120×pow-to-exp
106×fma-def diff-log
86×1-exp
85×pow-unpow associate-/l/
82×associate--l+
81×pow1/2
71×frac-add frac-times
70×clear-num frac-2neg
69×associate-*r/
68×rec-exp
67×pow-prod-down
60×swap-sqr neg-mul-1
55×cbrt-div
54×unpow3 cube-mult
45×rem-sqrt-square
41×*-commutative
38×tan-quot
35×fma-udef
31×log-div pow1/3 sum-log
24×complex-mul-def
23×div-sub
22×rem-log-exp
21×frac-sub
20×pow-pow
19×+-commutative
17×pow-prod-up
16×neg-sub0
15×cube-div
12×rem-cube-cbrt associate--l- pow-flip neg-log
11×pow-sqr associate-+r+
10×inv-pow
8×exp-diff associate-+l-
7×rem-exp-log
6×*.c-commutative
5×difference-of-sqr-1 associate--r+
4×pow-div sqrt-unprod +.c-commutative complex-add-def hypot-def expm1-def distribute-rgt-out--
3×pow2 pow-plus sin-mult cos-mult
2×sin-sum un-div-inv frac-2neg.c associate-+r- exp-neg sub-div associate-*l*.c cos-sum tan-sum associate-+l+.c exp-to-pow
1×sub0-neg sin-cos-mult difference-cubes log1p-udef diff-atan log1p-expm1 diff-cos expm1-log1p rem-square-sqrt distribute-frac-neg distribute-rgt-out sqr-cos distribute-rgt-neg-out expm1-udef sqrt-undiv rem-cbrt-cube diff-sin

regimes2.8s (1.3%)

Accuracy

Total 28.0b remaining (13.3%)

Threshold costs 6.0b (2.8%)

5.1b81.3%quad2m (problem 3.2.1, negative)
5.1b82.3%quadm (p42, negative)
3.4b87.1%quadp (p42, positive)
3.0b0%expq3 (problem 3.4.2)
2.2b78.3%2nthrt (problem 3.4.6)

localize2.0s (0.9%)

bsearch1.1s (0.5%)

end1.0ms (0.0%)