Date:Saturday, July 18th, 2020
Commit:61547132 on release-1.4
Hostname:warfa with Racket 7.5
Seed:2020200
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.0%)

Algorithm
56×intervals
Results
27.0s70117×body1280valid
18.6s17048×body2560valid
9.4s43626×body640valid
3.0s68091×body80valid
3.0s21325×body320valid
1.2s1081×body1280nan
957.0ms10517×body160valid
661.0ms43068×pre80true
630.0ms895×body640nan
502.0ms2971×body80overflowed
291.0ms692×body1280overflowed
202.0ms467×body320nan
173.0ms3592×body80nan
173.0ms250×body640invalid
173.0ms444×body5120valid
121.0ms96×body1280invalid
116.0ms172×body2560overflowed
108.0ms394×body640overflowed
95.0ms1688×body80invalid
75.0ms184×body320invalid
59.0ms217×body160nan
40.0ms193×body320overflowed
19.0ms78×body160invalid
14.0ms108×body160overflowed
2.0ms1×body2560invalid

prune17.5s (14.3%)

Filtered
9822 candidates to 6540 candidates (33.4%)

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

simplify8.6s (7.0%)

Algorithm
166×egg-herbie

series5.9s (4.8%)

Calls

355 calls:

613.0ms
(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (pow (exp a) eps) 1.0) (+ (* b eps) (* b (* b (* (* eps eps) (+ (* (* b 1/6) eps) 1/2)))))))
318.0ms
(- (* (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (* (tan x) (* (tan eps) (tan eps)))))) (+ 1 (* (tan x) (tan eps)))) (tan x))
193.0ms
(/ 1.0 (+ (* (sqrt (sqrt (+ 1.0 x))) (sqrt (sqrt (+ 1.0 x)))) (sqrt x)))
172.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))))
122.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (log (pow (exp (tan x)) (tan eps))))) (tan x))

regimes4.0s (3.3%)

Accuracy

Total 20.6b remaining (20%)

Threshold costs 5.7b (5.6%)

5.6b37.4%expq3 (problem 3.4.2)
3.1b88.7%quadp (p42, positive)
1.5b93.5%quadm (p42, negative)
1.5b85.4%2nthrt (problem 3.4.6)
1.1b95.3%quad2p (problem 3.2.1, positive)

rewrite3.3s (2.6%)

Algorithm
110×rewrite-expression-head
Calls

355 calls:

126.0ms
(/ (- (/ 1.0 (/ x 1.0)) (/ 1.0 (/ (+ 1.0 x) 1.0))) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ 1.0 x)))))
88.0ms
(- (/ 1.0 (/ x 1.0)) (/ 1.0 (/ (+ 1.0 x) 1.0)))
42.0ms
(* (/ x 1.0) (* (/ (+ 1.0 x) 1.0) (+ (/ 1.0 (sqrt (+ 1.0 x))) (/ 1.0 (sqrt x)))))
42.0ms
(/ 1.0 (* (/ x 1.0) (* (/ (+ 1.0 x) 1.0) (+ (/ 1.0 (sqrt (+ 1.0 x))) (/ 1.0 (sqrt x))))))
41.0ms
(* (/ (+ 1.0 x) 1.0) (+ (/ 1.0 (sqrt (+ 1.0 x))) (/ 1.0 (sqrt x))))
Rules
4972×*-un-lft-identity
4211×times-frac
3961×add-sqr-sqrt
2116×add-cube-cbrt
1539×sqrt-prod
1095×add-exp-log
1012×distribute-lft-out
994×add-cbrt-cube
780×pow1
657×difference-of-squares
636×add-log-exp
628×distribute-lft-out--
404×associate-*r*
349×associate-*l*
348×unpow-prod-down
325×cbrt-prod
310×div-inv
302×associate-/l*
283×prod-exp
245×cbrt-unprod
225×associate-/r*
202×flip-- flip3--
181×associate-*r/
179×div-exp
165×associate-/r/
160×pow-prod-down
157×cbrt-undiv
150×flip-+ flip3-+
144×log-prod
137×sqr-pow
130×sqrt-div
123×sqrt-pow1
120×unswap-sqr
119×frac-times
105×swap-sqr
103×sub-neg
96×cube-prod
95×diff-log
92×pow1/2
73×*-commutative
70×distribute-rgt-in distribute-lft-in
69×associate-*l/
65×distribute-rgt-out--
62×clear-num frac-2neg
60×tan-quot
58×cbrt-div
52×sum-log
51×rem-sqrt-square
47×pow1/3
45×log-pow
42×frac-add associate-/l/
36×pow-unpow
34×pow-prod-up
32×frac-sub exp-prod
29×+-commutative
28×pow-pow
25×pow-exp
23×pow-to-exp
22×pow-sqr
19×rem-log-exp div-sub
18×log-div
16×distribute-rgt-neg-in associate--l+
15×associate-+r+
12×cube-div 1-exp rec-exp
10×unpow2
8×pow2 pow-plus cube-mult unpow3
7×difference-cubes distribute-frac-neg
6×associate--l- neg-sub0 distribute-lft-neg-in
5×exp-sum associate-+l+ rem-square-sqrt sqrt-unprod sin-sum pow-flip associate--r+
4×unpow-prod-up pow3 distribute-rgt-neg-out rem-cbrt-cube sin-mult exp-diff rem-exp-log
3×associate-+r- inv-pow neg-log rem-cube-cbrt
2×exp-neg tan-sum cos-sum neg-mul-1 sin-cos-mult sub-div associate-+l-
1×diff-cos exp-to-pow diff-sin diff-atan un-div-inv

localize1.2s (1.0%)

bsearch745.0ms (0.6%)

end0.0ms (0.0%)

Profiling

Loading profile data...