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

series2.2m (46.5%)

Calls

341 calls:

1.5m
(- (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (* (* c i) (* c i)))
481.0ms
(* (/ (- y z) (- (+ t 1.0) z)) (- a x))
481.0ms
(* (* 1 (/ (- y z) (- (+ t 1.0) z))) (- a x))
477.0ms
(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
438.0ms
(* (/ 1 (* (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))) (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))))

sample1.1m (24.1%)

Algorithm
60×intervals
Results
24.3s335178×body80valid
8.6s205695×body80nan
7.2s21580×body1280valid
2.6s5404×body2560valid
2.5s10719×body640valid
830.0ms5090×body320valid
419.0ms16512×pre80true
299.0ms2527×body160valid
59.0ms230×body5120valid

prune46.7s (16.8%)

regimes16.2s (5.8%)

Accuracy

Total 41.9b remaining (27%)

Threshold costs 3.0b (1.9%)

12.4b-14.5%Linear.Matrix:det44 from linear-1.19.1.3
4.2b-15.9%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
3.5b50.4%Linear.Matrix:det33 from linear-1.19.1.3
3.4b87.2%The quadratic formula (r1)
3.2b87.7%NMSE problem 3.2.1

simplify8.2s (2.9%)

Algorithm
161×egg-herbie

bsearch4.0s (1.4%)

rewrite3.9s (1.4%)

Algorithm
101×rewrite-expression-head
Calls

341 calls:

84.0ms
(exp (/ 1 (- (/ f (- (+ f n))) (/ n (- (+ f n))))))
79.0ms
(/ 1 (- (/ f (- (+ f n))) (/ n (- (+ f n)))))
76.0ms
(/ 1 (- (/ f (- (+ f n))) (/ n (- (+ f n)))))
74.0ms
(- (/ f (- (+ f n))) (/ n (- (+ f n))))
74.0ms
(- (/ f (- (+ f n))) (/ n (- (+ f n))))
Rules
10329×times-frac
7814×*-un-lft-identity
7410×add-sqr-sqrt
4907×add-cube-cbrt
2296×add-exp-log
1289×add-cbrt-cube
1041×distribute-lft-out--
1019×difference-of-squares
993×prod-exp
821×associate-*r*
771×pow1
700×associate-/l*
672×associate-*l*
619×associate-/r*
567×distribute-rgt-neg-in sqrt-prod
522×div-exp
502×add-log-exp
472×distribute-lft-neg-in
414×cbrt-unprod
405×div-inv
399×distribute-lft-out
378×associate-/r/
346×flip3-- flip--
293×cbrt-undiv
270×unpow-prod-down
210×cbrt-prod unswap-sqr
186×pow-exp
183×associate-*r/
179×pow-prod-down
166×frac-times
156×pow-to-exp
153×log-prod
151×distribute-rgt-in distribute-lft-in
135×flip-+ flip3-+
129×sub-neg
127×associate-*l/
125×*-commutative
118×neg-mul-1
111×frac-sub
108×exp-prod
89×sqr-pow
78×clear-num frac-2neg
70×associate-/l/ distribute-neg-frac
61×log-pow
57×tan-quot
56×diff-log
54×sqrt-div
52×1-exp
50×rec-exp
49×unpow2
44×cbrt-div
43×exp-sum
42×pow1/3
39×distribute-rgt-out--
36×sum-log
32×associate-+r+ cube-prod
28×sin-mult
25×pow1/2 sqrt-pow1
21×rem-sqrt-square swap-sqr cos-mult
20×associate--r+
19×pow-unpow
17×sub-div +-commutative associate--l+
16×associate-+l+
15×inv-pow pow-flip div-sub
13×associate-+l-
12×log-div
9×neg-sub0
7×pow-pow frac-add log-rec
6×pow-prod-up distribute-lft-neg-out pow-sqr distribute-rgt-neg-out
5×un-div-inv pow-plus pow2
4×neg-log rem-exp-log associate--l-
3×distribute-frac-neg sqrt-unprod rem-log-exp
2×exp-diff rem-cube-cbrt difference-cubes unpow3 cos-sum exp-to-pow associate-+r- associate--r- cube-mult tan-sum
1×sqrt-undiv unpow1/3 distribute-rgt-out

localize2.6s (0.9%)

end1.0ms (0.0%)