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

series10.8m (85.1%)

Calls

336 calls:

3.6s
(fma (- (* c t) (* i y)) j (- (+ (* x (fma y z (- (* a t)))) (* x (fma (- a) t (* a t)))) (* b (- (* c z) (* i a)))))
3.1s
(fma (/ (+ (tan y) (tan z)) (- 1 (pow (* (tan y) (tan z)) 3))) (fma (fma (tan y) (tan z) 1) (* (tan y) (tan z)) 1) (+ (- (tan a)) x))
3.0s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* j (* 27.0 k)))))
2.9s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
911.0ms
(* (sqrt (+ (sqrt x) (sqrt 1.0))) (* (sqrt (- (sqrt x) (sqrt 1.0))) (sqrt x)))

sample50.7s (6.7%)

Algorithm
59×intervals
Results
12.4s262567×body80valid
9.0s208566×body80nan
7.6s21199×body1280valid
2.7s5409×body2560valid
2.7s11049×body640valid
864.0ms5064×body320valid
424.0ms16512×pre80true
312.0ms2627×body160valid
76.0ms237×body5120valid

prune39.9s (5.2%)

simplify8.3s (1.1%)

Algorithm
160×egg-herbie

regimes7.2s (1.0%)

Accuracy

Total 34.6b remaining (26.6%)

Threshold costs 4.4b (3.4%)

8.4b-4.9%Linear.Matrix:det33 from linear-1.19.1.3
5.0b0%Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3
4.6b84.1%NMSE problem 3.2.1
2.7b0%cos(2*x)/(cos^2(x)*sin^2(x))
2.4b0%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2

rewrite3.1s (0.4%)

Algorithm
102×rewrite-expression-head
Calls

338 calls:

58.0ms
(- (/ y (- (+ t 1.0) z)) (/ z (- (+ t 1.0) z)))
44.0ms
(* (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (- f n)))
43.0ms
(/ (cbrt (pow (/ 1 (- (acos a))) 3)) (/ 1 a))
42.0ms
(/ (* (* x (/ (pow (/ (* (cbrt 1) (cbrt 1)) 1) 1.0) (sqrt (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b)))))) (/ (pow (/ (cbrt 1) a) 1.0) (* (sqrt (sqrt (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b))))) (sqrt (sqrt (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b)))))))) y)
42.0ms
(/ (* (* x (/ (pow (/ (* (cbrt 1) (cbrt 1)) 1) 1.0) (sqrt (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b)))))) (/ (pow (/ (cbrt 1) a) 1.0) (sqrt (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b)))))) y)
Rules
6483×times-frac
6159×*-un-lft-identity
5599×add-sqr-sqrt
4572×add-cube-cbrt
3675×add-exp-log
2217×prod-exp
1739×prod-diff
1309×cbrt-prod
1153×add-cbrt-cube
944×distribute-rgt-neg-in
917×distribute-lft-neg-in
867×pow1
865×sqrt-prod
859×unpow-prod-down
780×div-exp
702×associate-*r*
593×pow-exp
565×cube-prod
556×distribute-lft-out--
494×pow-to-exp
466×add-log-exp
421×associate-*l*
370×cbrt-unprod
356×distribute-lft-out
351×difference-of-squares
339×expm1-log1p-u
338×log1p-expm1-u
329×associate-/l*
328×div-inv
282×neg-mul-1
243×flip-- flip3--
240×associate-/r*
208×fma-neg
193×distribute-rgt-in distribute-lft-in
190×pow-prod-down
178×cbrt-undiv
165×associate-/r/
135×unswap-sqr
124×sqrt-div
118×exp-prod
114×log-pow
105×frac-times log-prod
104×sqr-pow
103×associate-*r/
100×unpow-prod-up
99×cbrt-div
95×*-commutative
94×associate-*l/
83×sqrt-pow1
79×associate-+r+
77×sub-neg
75×associate--r+
66×pow-pow tan-quot
65×fma-def
64×fma-udef
62×exp-sum
57×frac-2neg clear-num
53×pow1/3
51×1-exp
49×pow1/2
48×diff-log
46×flip-+ flip3-+
44×rem-sqrt-square associate--l+
43×pow-unpow
33×associate-/l/
31×frac-sub
28×distribute-neg-in
25×unpow2
22×sum-log
21×neg-log neg-sub0
20×unpow3 cube-mult
18×rec-exp
17×pow-prod-up
16×associate-+l+ swap-sqr sin-mult associate--l- log-div
15×rem-exp-log associate-+l-
12×pow-plus
11×pow-sqr +-commutative
10×cos-mult distribute-neg-frac
8×sub-div
7×cube-div pow2 pow-sub
6×exp-diff div-sub
5×rem-cube-cbrt inv-pow pow-flip
4×exp-neg distribute-frac-neg hypot-def sqrt-unprod
3×distribute-rgt-out--
2×cos-sum associate-+r- tan-sum rem-cbrt-cube
1×pow-div log1p-udef unpow1/3 pow3 log1p-expm1 frac-add distribute-rgt-neg-out rem-log-exp

localize2.6s (0.3%)

bsearch1.4s (0.2%)

end1.0ms (0.0%)