Date:Friday, July 3rd, 2020
Commit:8652dc03 on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020185
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 (58.7%)

Algorithm
56×intervals
Results
26.5s69770×body1280valid
18.6s17352×body2560valid
9.3s44029×body640valid
2.9s21100×body320valid
2.8s68275×body80valid
1.3s1205×body1280nan
919.0ms10213×body160valid
660.0ms43062×pre80true
633.0ms894×body640nan
542.0ms3092×body80overflowed
316.0ms722×body1280overflowed
211.0ms494×body320nan
174.0ms242×body640invalid
169.0ms3478×body80nan
164.0ms429×body5120valid
130.0ms106×body1280invalid
109.0ms162×body2560overflowed
106.0ms369×body640overflowed
97.0ms1692×body80invalid
87.0ms199×body320invalid
55.0ms227×body160nan
40.0ms194×body320overflowed
23.0ms80×body160invalid
13.0ms95×body160overflowed

prune17.0s (14.2%)

Filtered
9732 candidates to 6635 candidates (31.8%)

analyze10.3s (8.6%)

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
164×egg-herbie

series4.9s (4.1%)

Calls

347 calls:

328.0ms
(- (* (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (* (tan x) (cbrt (pow (tan eps) 6)))))) (+ 1 (* (tan x) (tan eps)))) (tan x))
312.0ms
(- (* (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (* (tan x) (* (tan eps) (tan eps)))))) (+ 1 (* (tan x) (tan eps)))) (tan x))
131.0ms
(* (+ (pow (sqrt x) (/ 1.0 n)) (sqrt (pow (+ x 1.0) (/ 1.0 n)))) (- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow (sqrt x) (/ 1.0 n))))
97.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x))
70.0ms
(- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow (sqrt x) (/ 1.0 n)))

regimes3.9s (3.3%)

Accuracy

Total 18.9b remaining (23.2%)

Threshold costs 4.9b (6%)

5.0b82.3%quadp (p42, positive)
3.0b0%expq3 (problem 3.4.2)
1.5b91.7%2nthrt (problem 3.4.6)
1.2b95.1%quad2p (problem 3.2.1, positive)
1.2b95.2%quad2m (problem 3.2.1, negative)

rewrite2.9s (2.4%)

Algorithm
108×rewrite-expression-head
Calls

347 calls:

76.0ms
(* (/ 1 (* (cbrt (+ (/ -1 a) (/ 1 b))) (cbrt (+ (/ -1 a) (/ 1 b))))) (/ (+ (/ 1 (* b b)) (/ -1 (* a a))) (cbrt (+ (/ -1 a) (/ 1 b)))))
59.0ms
(+ (/ 2.0 (pow x 7)) (+ (/ 2.0 (pow x 5)) (/ 2.0 (pow x 3))))
37.0ms
(* (sqrt (/ 1.0 (+ (sqrt (+ 1.0 x)) (sqrt x)))) (sqrt (/ 1.0 (+ (sqrt (+ 1.0 x)) (sqrt x)))))
35.0ms
(/ (+ (/ 1 (* b b)) (/ (/ -1 a) a)) (+ (/ 1 b) (/ -1 a)))
34.0ms
(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))
Rules
3407×*-un-lft-identity
3098×add-sqr-sqrt
2455×times-frac
1819×add-cube-cbrt
1193×add-exp-log
989×add-cbrt-cube
880×sqrt-prod
710×pow1
617×difference-of-squares
592×add-log-exp
551×distribute-lft-out
410×associate-*r*
344×associate-/r*
332×associate-/l*
326×cbrt-prod
317×log-prod
307×prod-exp
301×associate-*l*
286×distribute-lft-out--
285×unpow-prod-down
241×div-exp
231×cbrt-unprod
196×div-inv
188×associate-/r/
184×cbrt-undiv
183×flip-+ flip3-+
177×flip-- flip3--
169×sqr-pow
136×associate-*r/
134×pow-prod-down
125×unswap-sqr
117×sqrt-div
95×cbrt-div
93×sub-neg swap-sqr
89×frac-times
81×diff-log log-pow
74×clear-num frac-2neg
73×tan-quot
72×frac-add
68×cube-prod
66×associate-/l/
64×*-commutative
61×sqrt-pow1 pow1/2
58×associate-*l/
50×pow1/3
48×exp-prod
47×distribute-rgt-in log-div distribute-lft-in
46×sum-log
41×rem-sqrt-square
38×unpow2
37×exp-sum
29×unpow-prod-up frac-sub
28×+-commutative
26×rem-log-exp
24×pow-exp
22×pow-to-exp
20×distribute-rgt-neg-in 1-exp rec-exp pow-prod-up
19×div-sub
17×associate--l+
16×pow-unpow cube-mult pow-sqr unpow3
15×associate-+r+
12×distribute-lft-neg-in exp-diff
11×pow-pow
10×pow-flip
8×pow2 pow-plus
7×rem-exp-log
6×distribute-frac-neg
5×associate--l- sqrt-unprod distribute-rgt-neg-out sin-mult
4×neg-mul-1 inv-pow associate--r+ pow-sub
3×associate-+l+ associate-+r-
2×neg-sub0 e-exp-1 tan-sum cos-sum rem-square-sqrt sin-cos-mult sin-sum neg-log associate-+l-
1×difference-cubes diff-cos exp-to-pow sub-div diff-sin diff-atan un-div-inv sum-cubes rem-cbrt-cube distribute-rgt-out-- rem-cube-cbrt

localize1.1s (1.0%)

bsearch632.0ms (0.5%)

end0.0ms (0.0%)

Profiling

Loading profile data...