Date:Monday, March 2nd, 2020
Commit:957f66ec on more-ival-tests
Hostname:warfa with Racket 7.5
Seed:2020062
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

prune44.9s (36.5%)

sample32.0s (26.0%)

Algorithm
73×intervals
Results
9.3s293123×body80valid
5.1s14128×body1280valid
2.5s3935×body2560valid
1.8s9497×body640valid
1.8s100623×pre80true
1.7s16831×body160valid
1.0s2193×body10240exit
736.0ms6906×body320valid
541.0ms19391×body80nan
119.0ms251×body5120valid
3.0ms100×pre80false

series25.8s (20.9%)

Calls

275 calls:

1.2s
(+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))
1.0s
(/ (+ (pow (+ (+ (+ e d) c) b) 3) (pow a 3)) (fma a (- a (+ (+ (+ e d) c) b)) (* (+ (+ (+ e d) c) b) (+ (+ (+ e d) c) b))))
631.0ms
(pow (+ (+ (+ e d) c) b) 3)
478.0ms
(fma x (* (- (* (* (* (* 11.0 x) x) y) y) (+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))) x) (+ (* 333.75 (pow y 6.0)) (fma (pow y 8.0) 5.5 (/ x (* 2.0 y)))))
435.0ms
(fma (* (fma (/ 1 (sqrt (+ (* x1 x1) 1.0))) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (sqrt (+ (* x1 x1) 1.0))) (- 3.0)) 2.0) (/ (* x1 (fma 3.0 (* x1 x1) (- (* 2.0 x2) x1))) (fma x1 x1 1.0)) (* (* (cbrt x1) (cbrt x1)) (* (cbrt x1) (fma x1 (/ (* (fma 3.0 (* x1 x1) (- (* 2.0 x2) x1)) 4.0) (fma x1 x1 1.0)) (* x1 (- 6.0))))))

simplify11.2s (9.1%)

Algorithm
170×egg-herbie

rewrite4.3s (3.5%)

Algorithm
100×rewrite-expression-head
Calls

275 calls:

162.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
72.0ms
(- (/ 1 (pow x 5)) (/ 1 (pow x 3)))
67.0ms
(* (/ (/ PI 2.0) (+ b a)) (* (/ 1.0 (- b a)) (- (/ 1.0 a) (/ 1.0 b))))
55.0ms
(/ (* (* (/ (/ PI 2.0) (+ b a)) 1.0) (- (/ 1.0 a) (/ 1.0 b))) (- b a))
48.0ms
(* (* (/ (/ PI 2.0) (+ b a)) (/ 1.0 (- b a))) (- (/ 1.0 a) (/ 1.0 b)))
Rules
18083×times-frac
15343×*-un-lft-identity
13087×add-sqr-sqrt
11152×add-cube-cbrt
6613×prod-diff
1655×add-exp-log
1504×distribute-lft-out
1468×distribute-rgt-in distribute-lft-in
1288×add-cbrt-cube
1156×cbrt-prod
1151×div-inv
942×sqrt-prod
854×unpow-prod-down
793×difference-of-squares
647×distribute-lft-out--
611×pow1
595×associate-*r*
561×associate-/r/
560×associate-/l*
544×associate-*l*
538×add-log-exp
524×prod-exp
482×div-exp
357×cbrt-unprod
341×flip-+ flip3-+
334×cube-prod
323×cbrt-undiv
318×associate-/r*
308×sqr-pow
298×distribute-rgt-neg-in
275×log1p-expm1-u expm1-log1p-u
274×fma-neg
245×distribute-lft-neg-in
177×frac-times
174×flip3-- flip--
143×associate-*r/
133×pow-prod-down
125×unswap-sqr
116×swap-sqr
104×frac-sub
103×associate-*l/
97×fma-def
96×1-exp
91×sum-log
84×unpow3 cube-mult
83×neg-mul-1
78×exp-neg
70×associate-/l/ neg-sub0 sub-neg
68×*-commutative
66×clear-num frac-2neg
60×rec-exp
59×exp-diff
57×diff-log
36×fma-udef sqrt-div
29×sqrt-pow1
28×+-commutative
26×un-div-inv
25×pow1/2 cbrt-div div-sub
24×pow-prod-up
19×pow-to-exp pow-plus pow-exp
18×rem-sqrt-square pow-sqr
17×pow1/3
16×log-prod
15×pow2
14×associate-+l+ pow-flip
12×exp-prod
10×neg-log
9×pow-unpow associate--l- inv-pow unpow2
8×frac-add associate-+r+
6×distribute-lft-neg-out
5×hypot-udef distribute-frac-neg
4×cube-div rem-exp-log sum-cubes
3×log-pow pow-pow
2×rem-cube-cbrt sqrt-unprod rem-cbrt-cube associate-+l- associate--l+ associate--r+ log-div
1×pow3 sub-div rem-square-sqrt distribute-rgt-out hypot-def distribute-rgt-out-- rem-log-exp

regimes2.8s (2.3%)

Accuracy

Total 32.9b remaining (14.1%)

Threshold costs 3.1b (1.3%)

9.2b22.7%Complex division, imag part
7.3b33.9%Complex division, real part
6.0b67.3%Compound Interest
4.6b83.9%The quadratic formula (r2)
1.4b0%Rosa's DopplerBench

localize1.2s (1.0%)

bsearch918.0ms (0.7%)

end1.0ms (0.0%)