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

prune2.9m (61.4%)

sample32.2s (11.3%)

Algorithm
73×intervals
Results
9.6s294093×body80valid
5.2s14196×body1280valid
2.6s3885×body2560valid
1.9s9530×body640valid
1.8s16929×body160valid
1.4s100590×pre80true
1.0s2168×body10240exit
756.0ms6829×body320valid
572.0ms19557×body80nan
69.0ms229×body5120valid
3.0ms100×pre80false

simplify31.6s (11.1%)

Algorithm
172×egg-herbie

series28.1s (9.8%)

Calls

278 calls:

1.2s
(+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))
969.0ms
(fma (sqrt (pow x 4.0)) (sqrt (pow x 4.0)) (- (pow y 4.0)))
605.0ms
(cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3))
585.0ms
(/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (fma (sqrt 2.0) (sqrt 2.0) (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))
491.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)))))

rewrite13.2s (4.6%)

Algorithm
102×rewrite-expression-head
Calls

278 calls:

1.8s
(- (/ (/ x (/ (hypot x y) (+ x y))) (hypot x y)) (/ (/ y (/ (hypot x y) (+ x y))) (hypot x y)))
158.0ms
(- (/ 1.0 a) (/ 1.0 b))
77.0ms
(* (/ (sqrt (- 1.0 x)) (sqrt (+ 1.0 x))) (/ (sqrt (- 1.0 x)) (sqrt (+ 1.0 x))))
72.0ms
(- (/ 1.0 (pow x 5)) (/ 1.0 (pow x 3)))
65.0ms
(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
Rules
177621×times-frac
101185×*-un-lft-identity
79985×add-sqr-sqrt
77871×add-cube-cbrt
38212×prod-diff
10984×distribute-lft-out
8095×associate-/r/
5629×div-inv
3583×flip-+ flip3-+
1564×add-exp-log
1232×sqrt-prod
1182×add-cbrt-cube
1088×unpow-prod-down
1070×distribute-rgt-in distribute-lft-in
729×associate-*r*
726×difference-of-squares
707×distribute-lft-out--
646×associate-/l*
567×pow1
540×associate-*l*
536×add-log-exp
529×associate--r+
491×prod-exp
443×div-exp
435×fma-neg
390×associate-/r*
371×sqr-pow
353×cube-prod
304×cbrt-undiv
291×cbrt-unprod
278×log1p-expm1-u expm1-log1p-u
210×swap-sqr
200×distribute-rgt-neg-in exp-sum
185×associate-*r/
178×unswap-sqr
176×cbrt-prod frac-times
173×flip3-- flip--
172×distribute-lft-neg-in
149×frac-sub
141×fma-udef
136×associate-+l+
115×associate-*l/
104×pow-prod-down
100×distribute-neg-in sum-log
97×exp-neg
95×fma-def
90×unpow3 cube-mult
83×neg-sub0
79×1-exp
73×exp-diff
72×associate-/l/ sub-neg
71×clear-num frac-2neg
65×unpow2 *-commutative
62×neg-mul-1
54×cbrt-div sqrt-div
53×diff-log
51×log-prod
45×pow-exp
37×rec-exp
35×pow-to-exp
27×un-div-inv
24×div-sub sqrt-pow1
22×rem-sqrt-square +-commutative
21×pow1/3
20×pow-prod-up
19×pow1/2 associate-+r+ pow-plus
16×frac-add
15×cube-div pow-sqr log-pow
14×pow2
11×pow-flip
9×pow-unpow
8×distribute-rgt-out--
7×associate--l-
6×sqrt-undiv inv-pow log-div
5×distribute-lft-neg-out neg-log rem-cbrt-cube
4×rem-cube-cbrt distribute-frac-neg exp-prod sum-cubes rem-log-exp
3×hypot-def associate-+l- associate--l+ pow-pow
2×sub-div
1×associate-+r- sqrt-unprod pow3 rem-square-sqrt associate--r- exp-to-pow

regimes3.1s (1.1%)

Accuracy

Total 30.1b remaining (10.7%)

Threshold costs 3.4b (1.2%)

7.4b35.1%Complex division, real part
5.8b67.7%Compound Interest
4.4b84.7%The quadratic formula (r2)
4.0b52.8%Complex division, imag part
3.8b86.7%The quadratic formula (r1)

localize1.3s (0.5%)

bsearch853.0ms (0.3%)

end1.0ms (0.0%)