Date:Thursday, June 25th, 2020
Commit:6ce91957 on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020177
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 (49.2%)

Algorithm
56×intervals
Results
27.9s69874×body1280valid
19.7s17512×body2560valid
9.8s43709×body640valid
3.1s21126×body320valid
3.0s67924×body80valid
1.4s1199×body1280nan
1.0s10537×body160valid
704.0ms43091×pre80true
684.0ms922×body640nan
521.0ms2876×body80overflowed
325.0ms727×body1280overflowed
237.0ms503×body320nan
186.0ms486×body5120valid
171.0ms3365×body80nan
165.0ms232×body640invalid
160.0ms111×body1280invalid
117.0ms397×body640overflowed
116.0ms170×body2560overflowed
102.0ms1695×body80invalid
72.0ms167×body320invalid
55.0ms221×body160nan
40.0ms180×body320overflowed
34.0ms100×body160invalid
14.0ms100×body160overflowed
1.0ms1×body2560invalid

prune25.0s (16.6%)

Filtered
12095 candidates to 7715 candidates (36.2%)

analyze20.1s (13.3%)

Algorithm
56×search
Search
TrueOtherFalseIter
0%91.1%8.9%13
0%91.1%8.9%12
3.5%87.6%8.9%11
15.5%72.3%12.2%10
19.9%65.5%14.6%9
26%57.6%16.4%8
28.7%53.8%17.5%7
30.3%51%18.8%6
32%48.7%19.3%5
33.3%46.8%20%4
33.6%45.7%20.7%3
34.5%44.3%21.1%2
37.1%41.2%21.7%1
37.3%39.7%23%0
53.5%20.5%26%1

simplify11.5s (7.6%)

Algorithm
166×egg-herbie

series5.7s (3.8%)

Calls

361 calls:

153.0ms
(- (* (+ (tan x) (tan eps)) (/ 1 (- 1 (* (tan x) (tan eps))))) (tan x))
118.0ms
(- (pow (* (cos x) (cos eps)) 3) (pow (+ (* (sin x) (sin eps)) (cos x)) 3))
107.0ms
(- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n)))
104.0ms
(- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n)))
98.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (/ (* (sin x) (tan eps)) (cos x)))) (tan x))

regimes4.9s (3.2%)

Accuracy

Total 24.3b remaining (15.5%)

Threshold costs 3.5b (2.3%)

3.9b54.5%expq3 (problem 3.4.2)
3.5b87.8%quad2m (problem 3.2.1, negative)
3.3b87.6%quad2p (problem 3.2.1, positive)
3.2b88.7%quadp (p42, positive)
1.8b91.8%expax (section 3.5)

bsearch4.6s (3.1%)

rewrite3.5s (2.3%)

Algorithm
110×rewrite-expression-head
Calls

361 calls:

46.0ms
(* (sqrt (/ (+ 1.0 0) (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (/ (+ 1.0 0) (+ (sqrt (+ x 1.0)) (sqrt x)))))
37.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
35.0ms
(* (* (cbrt (* (+ (sqrt (exp (* a x))) (sqrt 1.0)) (- (sqrt (exp (* a x))) (sqrt 1.0)))) (cbrt (* (+ (sqrt (exp (* a x))) (sqrt 1.0)) (- (sqrt (exp (* a x))) (sqrt 1.0))))) (cbrt (* (+ (sqrt (exp (* a x))) (sqrt 1.0)) (- (sqrt (exp (* a x))) (sqrt 1.0)))))
34.0ms
(* -2/3 (/ (pow eps 3) (pow 1.0 3)))
32.0ms
(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))
Rules
5024×*-un-lft-identity
4434×add-sqr-sqrt
4417×times-frac
2643×add-cube-cbrt
2301×frac-times
2020×cbrt-div
1171×add-exp-log
1128×sqrt-prod
987×flip-- flip3--
929×flip-+ flip3-+
874×associate-*r*
851×add-cbrt-cube
805×associate-*l/
733×add-log-exp
682×pow1
668×associate-*r/
653×distribute-lft-out
621×difference-of-squares
585×unpow-prod-down
576×distribute-lft-out--
409×associate-*l*
397×associate-/l*
344×associate-/r*
333×cbrt-prod
285×prod-exp
271×unswap-sqr
252×sqr-pow
246×div-exp
207×associate-/r/
185×log-prod
171×div-inv
153×cbrt-unprod
148×cbrt-undiv
138×unpow2
137×sub-neg
126×diff-log
119×distribute-rgt-neg-in
114×swap-sqr
108×cube-prod
104×pow-prod-down
90×pow1/3
78×pow-exp
77×pow-to-exp
73×log-pow
72×sum-log
71×*-commutative
66×associate-/l/
62×distribute-rgt-in distribute-lft-in
61×pow-unpow clear-num sqrt-div frac-2neg
52×exp-prod
49×sqrt-pow1
42×pow1/2
41×frac-sub tan-quot
36×associate-+l+
34×associate-+r+
33×frac-add +-commutative
30×log-div cube-mult pow-prod-up unpow3
29×rem-sqrt-square
26×1-exp rec-exp
23×associate--l+
22×pow-sqr
20×div-sub
19×neg-sub0
18×associate--r+
15×rem-log-exp pow-plus neg-log pow-pow distribute-rgt-out--
14×associate--l-
12×cos-mult
11×associate-+l-
10×pow2
8×exp-sum exp-to-pow
7×cube-div rem-exp-log
6×un-div-inv
5×sqrt-unprod inv-pow pow-flip
4×sub-div exp-diff
3×associate-+r- sqrt-pow2 rem-cube-cbrt difference-of-sqr-1
2×distribute-lft-neg-in exp-neg tan-sum cos-sum neg-mul-1 sin-sum associate--r- distribute-neg-frac sin-mult
1×difference-cubes sqrt-undiv rem-square-sqrt diff-cos sin-cos-mult +-inverses diff-sin diff-atan pow3

localize1.3s (0.9%)

end1.0ms (0.0%)

Profiling

Loading profile data...