Date:Thursday, July 23rd, 2020
Commit:528fe40a on cleanup
Hostname:warfa with Racket 7.5
Seed:2020205
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

Time bar (total: 2.3min)

sample1.2min (51.8%)

Algorithm
56×intervals
Results
27.1s69919×body1280valid
18.7s17333×body2560valid
9.5s44054×body640valid
3.0s21422×body320valid
2.8s67679×body80valid
1.2s1116×body1280nan
938.0ms10271×body160valid
692.0ms967×body640nan
670.0ms43027×pre80true
527.0ms3048×body80overflowed
277.0ms641×body1280overflowed
194.0ms490×body5120valid
187.0ms442×body320nan
183.0ms246×body640invalid
170.0ms3560×body80nan
122.0ms184×body2560overflowed
120.0ms94×body1280invalid
117.0ms399×body640overflowed
106.0ms1733×body80invalid
89.0ms208×body320invalid
55.0ms245×body160nan
37.0ms181×body320overflowed
17.0ms69×body160invalid
13.0ms84×body160overflowed
1.0ms1×body2560invalid

prune32.2s (23.3%)

analyze10.6s (7.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

simplify9.3s (6.7%)

Algorithm
165×egg-herbie

series5.5s (4%)

Calls

348 calls:

638.0ms
(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (+ (* 1/6 (* (pow eps 3) (pow b 3))) (* b (+ eps (* b (* 1/2 (* eps eps))))))))
335.0ms
(- (* (/ (+ (tan x) (tan eps)) (- 1 (* (* (tan x) (tan eps)) (* (tan x) (tan eps))))) (+ 1 (* (tan x) (tan eps)))) (tan x))
104.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (/ (* (sin x) (sin eps)) (* (cos x) (cos eps))))) (tan x))
103.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x))
76.0ms
(- (pow (+ x 1.0) (/ 1.0 n)) (pow (pow x (/ 1 (* (cbrt n) (cbrt n)))) (/ 1.0 (cbrt n))))

regimes3.8s (2.7%)

Accuracy

Total 18.9b remaining (24.5%)

Threshold costs 6.7b (8.8%)

4.7b8346.4%quadp (p42, positive)
3.4b0%expq3 (problem 3.4.2)
1.5b9383.7%quad2m (problem 3.2.1, negative)
1.3b8792.1%2nthrt (problem 3.4.6)
1.2b9487.7%quadm (p42, negative)

rewrite3.5s (2.5%)

Algorithm
109×rewrite-expression-head
Rules
6867×*-un-lft-identity
6224×times-frac
4805×add-sqr-sqrt
2886×add-cube-cbrt
1934×sqrt-prod
1528×distribute-lft-out
1226×add-exp-log
1044×add-cbrt-cube
757×distribute-lft-out--
748×pow1
686×difference-of-squares
598×add-log-exp
481×div-inv
424×associate-*r*
403×associate-/l*
387×cbrt-prod
345×associate-*l*
342×unpow-prod-down
329×associate-/r*
327×prod-exp
307×associate-/r/
288×flip-- flip3--
274×log-prod
255×associate-*r/
249×div-exp
246×cbrt-unprod
241×cbrt-div
235×cube-prod
209×cbrt-undiv
205×frac-times
176×flip-+ flip3-+
152×sqrt-div
139×unswap-sqr
136×sqr-pow
134×pow-prod-down
125×associate-*l/
116×swap-sqr
111×frac-add
93×distribute-rgt-neg-in
87×sub-neg
85×diff-log
81×log-pow
79×associate-/l/
76×sqrt-pow1
71×clear-num frac-2neg
70×pow1/3
66×distribute-lft-neg-in
64×distribute-rgt-out--
62×pow1/2 tan-quot
61×*-commutative
58×exp-prod
48×distribute-rgt-in distribute-lft-in
44×pow-unpow sum-log
43×pow-prod-up
36×neg-sub0 neg-mul-1
32×log-div exp-diff
30×rem-sqrt-square frac-sub
29×div-sub
28×exp-neg +-commutative
27×pow-exp pow-sqr
25×pow-to-exp
24×rem-log-exp
19×pow-plus
18×associate--l+
17×pow-pow
15×1-exp rec-exp
14×cube-mult unpow3
12×pow2
11×associate-+r+ associate--r+
10×sum-cubes
9×sin-sum
7×distribute-frac-neg
6×associate--l- sin-mult
5×exp-sum difference-cubes neg-log unpow2
4×associate-+l+ rem-square-sqrt sqrt-unprod associate-+l- rem-exp-log
3×un-div-inv distribute-rgt-neg-out rem-cube-cbrt
2×cube-div tan-sum cos-sum sin-cos-mult inv-pow rem-cbrt-cube pow-flip
1×associate-+r- diff-cos sqrt-pow2 exp-to-pow diff-sin diff-atan pow3 cos-mult
Calls

348 calls:

137.0ms
(/ (- (/ 1.0 (/ x 1.0)) (/ 1.0 (/ (+ 1.0 x) 1.0))) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ 1.0 x)))))
107.0ms
(* (/ (/ 1.0 x) (sqrt (+ 1.0 x))) (/ (neg 1.0) (sqrt (+ 1.0 x))))
93.0ms
(- (/ 1.0 (/ x 1.0)) (/ 1.0 (/ (+ 1.0 x) 1.0)))
50.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)))))
44.0ms
(/ (/ 1.0 (* (/ x 1.0) (/ (+ 1.0 x) 1.0))) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ 1.0 x)))))

localize1.2s (0.9%)

bsearch698.0ms (0.5%)

end0.0ms (0%)

Profiling

Loading profile data...