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

sample8.6m (79.4%)

Algorithm
78×intervals
Results
7.2m49374×body10240exit
34.0s44209×body1280valid
11.3s30423×body640valid
7.2s204856×body80valid
4.8s152740×body80nan
4.5s27337×body320valid
3.3s188619×pre80true
3.1s36238×body160valid
770.0ms3014×body2560valid
411.0ms4203×pre10240exit
363.0ms7851×body160nan
104.0ms8396×pre80false
94.0ms218×body5120valid

prune58.5s (9.0%)

series41.1s (6.3%)

Calls

481 calls:

589.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n)))
553.0ms
(* (cbrt (- (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))) (* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3))))) (cbrt (- (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))) (* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3))))))
464.0ms
(cbrt (- (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))) (* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3)))))
454.0ms
(cbrt (- (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))) (* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3)))))
451.0ms
(cbrt (- (+ (log (sqrt 1.0)) (/ x (sqrt 1.0))) (* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3)))))

simplify12.6s (1.9%)

Algorithm
224×egg-herbie

regimes10.3s (1.6%)

Accuracy

Total 34.2b remaining (24.7%)

Threshold costs 6.0b (4.3%)

5.8b57.3%Cubic critical, narrow range
5.0b28%Cubic critical, medium range
4.1b80.8%Cubic critical
3.8b86.7%Quadratic roots, full range
3.8b0%Cubic critical, wide range

rewrite5.1s (0.8%)

Algorithm
146×rewrite-expression-head
Calls

481 calls:

163.0ms
(- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (- 0.0625) (pow x 5))))
97.0ms
(- (/ (/ 2.0 (sqrt (+ 1.0 (exp (* -2.0 x))))) (sqrt (+ 1.0 (exp (* -2.0 x))))) 1.0)
92.0ms
(log (- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (- 0.0625) (pow x 5)))))
53.0ms
(* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3)))
44.0ms
(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))
Rules
11454×*-un-lft-identity
11200×times-frac
10904×add-sqr-sqrt
7760×add-cube-cbrt
5092×prod-diff
2461×add-exp-log
2213×sqrt-prod
1727×add-cbrt-cube
1205×difference-of-squares
1188×pow1
1053×unpow-prod-down
971×associate-*r*
968×associate--r+
879×distribute-lft-out
876×distribute-lft-out--
851×prod-exp
757×distribute-rgt-neg-in
735×add-log-exp
658×div-exp
657×fma-neg
636×associate-/r/
616×distribute-lft-neg-in
560×div-inv
539×associate-/l*
490×associate-*l*
484×expm1-log1p-u
483×log1p-expm1-u
466×associate-/r*
462×cbrt-unprod
404×cbrt-prod
399×sqr-pow
378×cube-prod
361×flip--
360×flip3--
349×cbrt-undiv
304×flip-+
303×flip3-+
300×pow-exp
273×pow-prod-down
264×sqrt-div
229×fma-def
226×neg-mul-1
225×distribute-rgt-in distribute-lft-in
218×pow-to-exp
201×associate-*r/
195×unswap-sqr
155×frac-times log-prod
125×swap-sqr
112×associate-/l/
107×associate-*l/
105×*-commutative
104×clear-num frac-2neg
101×sub-neg
98×unpow3 cube-mult
87×cbrt-div
83×diff-log
79×frac-sub
66×pow-prod-up
65×tan-quot
64×log-pow
58×cos-sum
54×exp-prod sqrt-pow1
52×unpow2
50×pow1/2 pow-sqr
49×sum-log
47×pow1/3
44×div-sub
43×associate--l+
42×pow-unpow
36×pow-plus
35×rem-sqrt-square
34×+-commutative
29×pow2 neg-sub0
26×log-div
23×sin-sum
21×fma-udef
19×neg-log rem-log-exp
18×associate-+l- sin-diff
17×sin-mult 1-exp pow-pow
15×cos-diff
13×cube-div rec-exp
12×distribute-rgt-out
11×associate--l- frac-add
9×distribute-frac-neg associate-+r+
8×rem-cube-cbrt sin-cos-mult
7×acos-asin expm1-udef
6×expm1-log1p
5×un-div-inv rem-exp-log log1p-udef sqrt-unprod distribute-rgt-neg-out rem-cbrt-cube
4×log1p-expm1 associate-+r- asin-acos exp-sum
3×acos-neg associate-+l+ cos-mult
2×sin-neg distribute-lft1-in inv-pow hypot-udef pow-flip hypot-def associate--r- distribute-neg-frac
1×rem-square-sqrt exp-to-pow

bsearch4.5s (0.7%)

localize2.2s (0.3%)

end1.0ms (0.0%)