Date:Wednesday, July 22nd, 2020
Commit:750605db on cleanup
Hostname:warfa with Racket 7.5
Seed:2020204
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.5%)

Algorithm
56×intervals
Results
26.6s69848×body1280valid
18.7s17364×body2560valid
9.3s44242×body640valid
2.9s21169×body320valid
2.8s67725×body80valid
1.3s1225×body1280nan
911.0ms10325×body160valid
698.0ms989×body640nan
653.0ms43054×pre80true
542.0ms3136×body80overflowed
293.0ms676×body1280overflowed
199.0ms495×body5120valid
192.0ms449×body320nan
179.0ms261×body640invalid
173.0ms3535×body80nan
149.0ms119×body1280invalid
112.0ms172×body2560overflowed
106.0ms378×body640overflowed
104.0ms1803×body80invalid
74.0ms181×body320invalid
55.0ms242×body160nan
44.0ms211×body320overflowed
20.0ms86×body160invalid
14.0ms88×body160overflowed
2.0ms2×body2560invalid

prune32.3s (23.5%)

analyze10.2s (7.4%)

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.2s (6.7%)

Algorithm
166×egg-herbie

series6.1s (4.4%)

Calls

362 calls:

621.0ms
(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (+ (* b eps) (* (* b b) (+ (* b (* 1/6 (pow eps 3))) (* eps (* eps 1/2)))))))
212.0ms
(- (pow (+ x 1.0) (/ 1.0 n)) (* (pow (sqrt x) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n))))
98.0ms
(+ (/ (sin x) (* (cos x) (- 1 (* (sin eps) (/ (sin x) (* (cos x) (cos eps))))))) (- (/ (sin eps) (* (cos eps) (- 1 (* (sin eps) (/ (sin x) (* (cos x) (cos eps))))))) (/ (sin x) (cos x))))
98.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x))
96.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (* (* (tan x) (* (cbrt (tan eps)) (cbrt (tan eps)))) (cbrt (tan eps))))) (tan x))

regimes4.0s (2.9%)

Accuracy

Total 22.8b remaining (27.2%)

Threshold costs 5.7b (6.8%)

4.6b8395.5%quadp (p42, positive)
2.8b8865.5%expax (section 3.5)
2.5b7718.7%2nthrt (problem 3.4.6)
1.7b9291%quadm (p42, negative)
1.7b9304.3%quad2p (problem 3.2.1, positive)

rewrite3.3s (2.4%)

Algorithm
110×rewrite-expression-head
Rules
5308×*-un-lft-identity
4184×times-frac
3918×add-sqr-sqrt
2756×sqrt-prod
2597×add-cube-cbrt
1383×cbrt-prod
1217×distribute-lft-out
1046×add-exp-log
922×add-cbrt-cube
740×pow1
725×unpow-prod-down
642×add-log-exp
530×difference-of-squares
518×cube-prod
389×associate-/l*
337×associate-*r*
324×cbrt-div
310×distribute-lft-out--
305×associate-/r*
259×flip-- flip3--
256×associate-*l*
238×prod-exp
218×div-inv
196×associate-/r/
191×log-prod flip-+ flip3-+
189×sqr-pow
186×cbrt-unprod
185×div-exp
160×sqrt-div frac-times
158×cbrt-undiv
149×associate-*r/
146×sqrt-pow1
125×pow-prod-down
123×unswap-sqr
117×exp-prod
112×frac-add
107×log-pow
97×sub-neg
94×pow-unpow
88×pow1/2
85×diff-log swap-sqr
84×associate-*l/
77×frac-sub
76×pow1/3
64×sum-log *-commutative
63×clear-num frac-2neg
60×pow-prod-up
58×cube-mult unpow3
56×associate-/l/
55×distribute-rgt-in distribute-lft-in
43×pow-pow
42×pow-exp
40×+-commutative
38×pow-to-exp
30×cube-div
28×log-div
25×rem-sqrt-square associate-+r+
24×div-sub pow-sqr
19×rem-log-exp
18×associate-+l+ tan-quot
13×1-exp associate--l+
11×pow-plus exp-diff rem-cube-cbrt
9×associate-+r- rec-exp
8×pow2 exp-sum distribute-rgt-neg-in
7×associate--l- sqrt-unprod associate--r+
6×unpow-prod-up distribute-rgt-out
5×pow-flip
4×neg-sub0 sin-cos-mult rem-cbrt-cube rem-exp-log
3×sqrt-pow2 inv-pow distribute-frac-neg cos-mult distribute-rgt-out--
2×exp-neg difference-cubes tan-sum cos-sum rem-square-sqrt distribute-lft1-in exp-to-pow sin-sum neg-log distribute-rgt-neg-out associate-+l- sin-mult unpow2
1×diff-cos sub-div diff-sin diff-atan pow3 difference-of-sqr--1
Calls

362 calls:

82.0ms
(- (/ (/ (- (/ 1.0 x) 1.0) x) x) (/ 1.0 (pow x 4)))
49.0ms
(/ (/ 1.0 (cbrt (pow (sqrt (+ (sqrt (+ 1.0 x)) (sqrt x))) 3))) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))
42.0ms
(- (* (* (cbrt (/ (- (/ 1.0 x) 1.0) x)) (cbrt (/ (- (/ 1.0 x) 1.0) x))) (/ (cbrt (/ (- (/ 1.0 x) 1.0) x)) x)) (/ 1.0 (pow x 4)))
33.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
31.0ms
(+ (/ 0.3333333333333333 (pow N 3)) (- (/ 1.0 N) (/ 0.5 (* N N))))

localize1.3s (0.9%)

bsearch524.0ms (0.4%)

end0.0ms (0%)

Profiling

Loading profile data...