Date:Thursday, July 9th, 2020
Commit:581c4e77 on evaluate-error-intervals
Hostname:warfa with Racket 7.5
Seed:2020191
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

sample2.3min (72.8%)

Algorithm
56×intervals
Results
25.8s69392×body1280valid
18.2s17523×body2560valid
8.9s44071×body640valid
2.8s21336×body320valid
2.5s68024×body80valid
869.0ms10347×body160valid
178.0ms475×body5120valid

prune17.5s (9.1%)

Filtered
10265 candidates to 6816 candidates (33.6%)

analyze10.2s (5.3%)

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.8s (4.6%)

Algorithm
163×egg-herbie

series4.7s (2.5%)

Calls

345 calls:

109.0ms
(- (* (+ (tan x) (tan eps)) (/ 1 (- 1 (* (tan x) (tan eps))))) (tan x))
108.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (/ (* (tan x) (sin eps)) (cos eps)))) (tan x))
105.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x))
64.0ms
(/ (* 4.0 (* a c)) (- (sqrt (- (* b b) (* 4.0 (* a c)))) b))
63.0ms
(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0)))

regimes3.7s (1.9%)

Accuracy

Total 14.5b remaining (19.4%)

Threshold costs 6.3b (8.4%)

2.0b81.1%2nthrt (problem 3.4.6)
1.4b94.1%quad2p (problem 3.2.1, positive)
1.3b94.6%quadm (p42, negative)
1.3b94.8%quadp (p42, positive)
1.2b95%quad2m (problem 3.2.1, negative)

localize3.4s (1.8%)

rewrite2.9s (1.5%)

Algorithm
107×rewrite-expression-head
Calls

345 calls:

53.0ms
(* (cbrt (/ (neg 1.0) (+ 1.0 x))) (cbrt (/ (neg 1.0) (+ 1.0 x))))
34.0ms
(* (cbrt (+ (/ 1 b) (/ 1 a))) (cbrt (+ (/ 1 b) (/ 1 a))))
33.0ms
(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))
33.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
32.0ms
(/ (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* 1.0 1.0) (* (cos x) (+ 1.0 (cos x))))) (sin x))
Rules
4193×*-un-lft-identity
3790×add-sqr-sqrt
3281×times-frac
2169×add-cube-cbrt
1210×sqrt-prod
1031×add-exp-log
916×add-cbrt-cube
879×cbrt-prod
797×difference-of-squares
710×distribute-lft-out
668×unpow-prod-down
660×pow1
608×add-log-exp
435×cube-prod
409×associate-*l*
377×associate-/l*
375×distribute-lft-out--
372×associate-*r*
331×sqr-pow
268×associate-/r*
239×prod-exp
222×div-inv
199×flip-- associate-/r/ flip3--
196×cbrt-unprod
187×div-exp
177×flip-+ flip3-+
160×cbrt-undiv
159×associate-*r/
148×log-prod
145×distribute-rgt-neg-in
132×swap-sqr
125×unswap-sqr
123×distribute-lft-neg-in
114×pow-prod-down
101×pow-unpow
97×sub-neg
96×sqrt-div
91×diff-log
80×log-pow
77×cbrt-div
70×exp-prod
65×associate-/l/
64×frac-add clear-num frac-2neg
62×*-commutative
54×pow1/3
51×associate-*l/ frac-times
45×sum-log sqrt-pow1 pow1/2
41×neg-mul-1
37×log-div tan-quot
36×pow-exp
35×distribute-rgt-in distribute-lft-in
34×pow-to-exp
33×rem-sqrt-square pow-pow
30×+-commutative
24×frac-sub
23×div-sub
22×difference-cubes
18×cube-mult associate--l+ unpow3
17×exp-sum
15×cube-div rem-log-exp
13×pow-prod-up
12×unpow2
11×pow-sqr exp-diff
10×associate-+r+
9×sin-sum 1-exp
8×associate--l- associate--r+
7×distribute-frac-neg rec-exp
6×neg-sub0 distribute-rgt-neg-out rem-cube-cbrt
5×pow2 associate-+l+ pow-plus rem-cbrt-cube rem-exp-log
4×sqrt-unprod sin-mult
3×associate-+r- neg-log un-div-inv associate-+l- distribute-rgt-out--
2×exp-neg tan-sum cos-sum sin-cos-mult exp-to-pow inv-pow associate--r- pow-flip
1×rem-square-sqrt diff-cos sub-div diff-sin diff-atan

bsearch952.0ms (0.5%)

end0.0ms (0.0%)

Profiling

Loading profile data...