Date:Tuesday, July 14th, 2020
Commit:0946c439 on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020196
Parameters:256 points for 4 iterations
Flags:
setup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

sample1.2min (57.3%)

Algorithm
56×intervals
Results
26.2s69686×body1280valid
18.5s17427×body2560valid
9.3s43911×body640valid
2.9s21407×body320valid
2.8s68048×body80valid
1.3s1184×body1280nan
903.0ms10212×body160valid
664.0ms43003×pre80true
623.0ms906×body640nan
505.0ms3057×body80overflowed
286.0ms671×body1280overflowed
196.0ms456×body320nan
184.0ms265×body640invalid
174.0ms3577×body80nan
164.0ms477×body5120valid
132.0ms104×body1280invalid
106.0ms161×body2560overflowed
103.0ms1720×body80invalid
99.0ms366×body640overflowed
79.0ms201×body320invalid
45.0ms205×body160nan
40.0ms198×body320overflowed
19.0ms79×body160invalid
12.0ms90×body160overflowed
1.0ms1×body2560invalid

prune18.7s (15.3%)

Filtered
10530 candidates to 6896 candidates (34.5%)

analyze10.4s (8.5%)

Algorithm
28×search
Search
TrueOtherFalseIter
0%90.9%9.1%0
14.3%76.7%9.1%1
21.4%67.8%10.9%2
33.2%51.7%15.1%3
37.6%44.1%18.2%4
43.8%36.2%19.9%5
46.6%32.5%20.9%6
48.1%29.6%22.3%7
49.9%27.4%22.7%8
51.1%25.4%23.5%9
51.5%24.3%24.2%10
52.4%22.9%24.7%11
53.2%21.5%25.2%12
53.5%20.9%25.6%13
53.9%20.1%26%14

simplify8.7s (7.2%)

Algorithm
165×egg-herbie

series5.2s (4.2%)

Calls

348 calls:

133.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (log (pow (pow E (tan x)) (tan eps))))) (tan x))
129.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (log (pow (exp (tan x)) (tan eps))))) (tan x))
101.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x))
85.0ms
(log (cbrt (sqrt (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))))))
83.0ms
(log (cbrt (sqrt (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))))))

regimes3.8s (3.2%)

Accuracy

Total 23.2b remaining (27.8%)

Threshold costs 5.6b (6.8%)

4.5b84.3%quadp (p42, positive)
4.3b84.9%quad2p (problem 3.2.1, positive)
3.1b87.1%expax (section 3.5)
2.3b79.2%2nthrt (problem 3.4.6)
1.2b95.1%quad2m (problem 3.2.1, negative)

rewrite3.5s (2.8%)

Algorithm
109×rewrite-expression-head
Calls

348 calls:

136.0ms
(/ (- (/ 1.0 (/ x 1.0)) (/ 1.0 (/ (+ 1.0 x) 1.0))) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ 1.0 x)))))
89.0ms
(- (/ 1.0 (/ x 1.0)) (/ 1.0 (/ (+ 1.0 x) 1.0)))
51.0ms
(/ (/ (- (* 1.0 (/ (+ 1.0 x) 1.0)) (/ x 1)) (* (/ x 1.0) (/ (+ 1.0 x) 1.0))) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ 1.0 x)))))
49.0ms
(/ (- (* 1.0 (/ (+ 1.0 x) 1.0)) (/ x 1)) (* (/ (+ 1.0 x) 1.0) (* (/ x 1.0) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ 1.0 x)))))))
42.0ms
(* (/ 1.0 x) (/ (neg 1.0) (+ (pow 1.0 3) (pow x 3))))
Rules
6034×*-un-lft-identity
5433×times-frac
4602×add-sqr-sqrt
2570×add-cube-cbrt
1296×sqrt-prod
1241×distribute-lft-out
1101×add-exp-log
946×add-cbrt-cube
758×difference-of-squares
737×distribute-lft-out--
631×pow1
605×add-log-exp
483×unpow-prod-down
451×associate-*r*
408×associate-/l*
397×div-inv
326×cube-prod
324×associate-/r*
292×associate-*l*
286×log-prod
274×cbrt-prod
259×associate-/r/
250×prod-exp
219×div-exp
197×flip-- flip3--
192×cbrt-unprod
190×sqr-pow
184×associate-*r/
180×cbrt-undiv
163×flip-+ flip3-+
153×exp-prod
142×log-pow
135×unswap-sqr
101×frac-times
98×sub-neg
91×pow-prod-down
90×diff-log
78×sqrt-pow1 associate-/l/
76×distribute-rgt-out--
75×associate-*l/
71×clear-num frac-2neg
66×sqrt-div
65×distribute-rgt-neg-in
60×frac-add pow-pow
57×distribute-lft-neg-in pow-unpow *-commutative
47×pow1/3
46×pow-exp
43×distribute-rgt-in cbrt-div distribute-lft-in
41×sum-log
38×pow1/2
36×rem-log-exp pow-to-exp
35×log-div
32×div-sub
29×frac-sub
26×difference-cubes
25×rem-sqrt-square
22×+-commutative
21×exp-sum sum-cubes
20×swap-sqr
19×neg-mul-1 cube-mult unpow3
17×1-exp rec-exp
16×tan-quot
15×exp-diff
13×associate-+r+ associate--l+
10×pow-prod-up rem-cube-cbrt
8×sub-div pow-flip associate--r+
7×pow-sqr sin-mult
6×exp-to-pow distribute-frac-neg rem-exp-log
5×associate--l- neg-sub0 exp-lft-cube associate-+l+ inv-pow
4×pow-plus distribute-rgt-neg-out unpow2
3×pow2 e-exp-1 un-div-inv rem-cbrt-cube
2×cube-div exp-neg tan-sum cos-sum associate-+r- sin-sum neg-log associate-+l-
1×distribute-lft-neg-out rem-square-sqrt diff-cos sqrt-pow2 sin-cos-mult sqrt-unprod diff-sin diff-atan

localize1.2s (1.0%)

bsearch642.0ms (0.5%)

end0.0ms (0.0%)

Profiling

Loading profile data...