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: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.8m (55.2%)

Algorithm
56×intervals
16×halfpoints
Results
23.5s68020×body1280valid
17.9s17865×body2560valid
7.6s41908×body640valid
4.1s13113×body10240exit
2.8s92425×body80valid
2.3s20092×body320valid
1.8s64190×body80nan
1.3s2244×body1280nan
797.0ms10574×body160valid
755.0ms1864×body640nan
552.0ms47542×pre80true
221.0ms871×body320nan
124.0ms460×body5120valid
67.0ms464×body160nan

series39.1s (19.5%)

Calls

389 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.3s
(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (+ (* 1/6 (* (pow eps 3) (pow b 3))) (+ (* 1/2 (* (pow eps 2) (pow b 2))) (* eps b)))))
597.0ms
(- (pow (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) 3) (pow (cos x) 3))
522.0ms
(pow E (log (- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))))

prune31.7s (15.8%)

simplify9.5s (4.7%)

Algorithm
191×egg-herbie

rewrite3.7s (1.9%)

Algorithm
119×rewrite-expression-head
Calls

389 calls:

63.0ms
(* 2.0 (+ (/ 1 (pow x 7)) (+ (/ 1 (pow x 5)) (/ 1 (pow x 3)))))
40.0ms
(* 2/3 (/ (pow eps 3) (pow 1.0 3)))
35.0ms
(exp (log (- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))))
35.0ms
(pow E (log (- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))))
34.0ms
(/ (* 1 (/ (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (/ 1 c))) a)
Rules
6121×*-un-lft-identity
5901×times-frac
5888×add-sqr-sqrt
3376×add-cube-cbrt
1656×sqrt-prod
1407×add-exp-log
979×difference-of-squares
938×add-cbrt-cube
925×unpow-prod-down
884×associate-*r*
745×distribute-lft-out--
724×distribute-lft-out
677×add-log-exp
639×pow1
555×cbrt-prod
495×associate-/l*
466×associate-/r*
376×log-prod
372×div-exp
368×sqr-pow
343×associate-*l*
335×cube-prod
331×prod-exp
318×div-inv
282×flip-- flip3--
273×unswap-sqr
258×exp-prod associate-/r/
201×log-pow
191×cbrt-undiv
165×flip-+ flip3-+
147×cbrt-unprod
138×associate-*l/
133×unpow2
128×sqrt-div
122×sub-neg
119×pow-exp
114×diff-log
113×pow-to-exp
97×sqrt-pow1
95×associate-/l/
90×pow-unpow
86×associate-*r/
80×frac-2neg clear-num
73×distribute-rgt-neg-in
69×cbrt-div frac-add frac-times
66×pow-prod-down *-commutative
65×1-exp
62×pow1/2
60×unpow3 cube-mult
59×exp-sum
58×swap-sqr
50×log-div
47×rec-exp
45×distribute-rgt-in distribute-lft-in
44×sum-log
43×rem-sqrt-square
36×pow1/3
33×tan-quot
32×associate--l+
31×frac-sub
29×rem-log-exp
26×cube-div +-commutative
24×associate-+l+ complex-mul-def unpow-prod-up div-sub
16×associate--r+
15×pow-flip pow-pow
14×pow-prod-up neg-sub0
13×inv-pow
12×associate--l-
11×exp-diff
10×pow-sqr
9×associate-+l-
8×rem-cube-cbrt neg-log
7×rem-exp-log pow-sub
6×un-div-inv difference-of-sqr-1 *.c-commutative
5×sin-mult cos-mult
4×pow2 +.c-commutative complex-add-def pow-plus
3×sub-div associate-+r+
2×cos-sum sin-sum e-exp-1 sqrt-unprod associate-+l+.c associate--r- exp-neg associate-*l*.c tan-sum rem-cbrt-cube frac-2neg.c pow-neg
1×sin-cos-mult difference-cubes diff-atan distribute-rgt-out-- diff-cos rem-square-sqrt quot-tan exp-to-pow diff-sin log-rec

regimes2.9s (1.5%)

Accuracy

Total 30.4b remaining (12.7%)

Threshold costs 6.8b (2.8%)

5.0b82.4%quadm (p42, negative)
5.0b78.7%quad2p (problem 3.2.1, positive)
3.4b87.2%quadp (p42, positive)
3.2b87.8%quad2m (problem 3.2.1, negative)
3.0b0%expq3 (problem 3.4.2)

localize1.8s (0.9%)

bsearch1.2s (0.6%)

end1.0ms (0.0%)