Date:Friday, July 17th, 2020
Commit:5d628957 on release-1.4
Hostname:warfa with Racket 7.5
Seed:2020199
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 (56.9%)

Algorithm
56×intervals
Results
26.4s69682×body1280valid
18.5s17629×body2560valid
9.2s43314×body640valid
3.0s21618×body320valid
2.8s68165×body80valid
1.2s1145×body1280nan
920.0ms10259×body160valid
646.0ms42970×pre80true
599.0ms860×body640nan
497.0ms3033×body80overflowed
281.0ms664×body1280overflowed
212.0ms501×body5120valid
187.0ms459×body320nan
171.0ms3491×body80nan
168.0ms236×body640invalid
151.0ms114×body1280invalid
101.0ms159×body2560overflowed
100.0ms349×body640overflowed
97.0ms1710×body80invalid
73.0ms185×body320invalid
49.0ms226×body160nan
39.0ms186×body320overflowed
25.0ms92×body160invalid
12.0ms84×body160overflowed
3.0ms2×body2560invalid

prune18.6s (15.1%)

Filtered
10182 candidates to 6809 candidates (33.1%)

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

Algorithm
163×egg-herbie

series6.5s (5.2%)

Calls

347 calls:

657.0ms
(* eps (/ (- (pow (exp (+ a b)) eps) 1.0) (* (- (pow (exp a) eps) 1.0) (* eps (+ b (+ (log 1) (* eps (* 1/2 (pow (log 1) 2)))))))))
657.0ms
(/ (* eps (- (pow (exp (+ a b)) eps) 1.0)) (* (- (pow (exp a) eps) 1.0) (* eps (+ b (+ (log 1) (* eps (* 1/2 (pow (log 1) 2))))))))
145.0ms
(/ (- (pow (exp a) eps) 1.0) (* 1 (/ (- (pow (exp (+ a b)) eps) 1.0) (+ b (+ (log 1) (* eps (* 1/2 (pow (log 1) 2))))))))
104.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (/ (* (sin x) (sin eps)) (* (cos x) (cos eps))))) (tan x))
102.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x))

regimes3.8s (3.1%)

Accuracy

Total 24.2b remaining (23.8%)

Threshold costs 4.9b (4.8%)

6.7b57.8%expq3 (problem 3.4.2)
4.6b84.1%quadp (p42, positive)
3.2b88.4%quad2p (problem 3.2.1, positive)
1.4b87%2nthrt (problem 3.4.6)
1.4b94.4%quadm (p42, negative)

rewrite3.1s (2.5%)

Algorithm
107×rewrite-expression-head
Calls

347 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)))))
83.0ms
(- (/ 1.0 (/ x 1.0)) (/ 1.0 (/ (+ 1.0 x) 1.0)))
42.0ms
(/ 1.0 (* (/ x 1.0) (* (/ (+ 1.0 x) 1.0) (+ (/ 1.0 (sqrt (+ 1.0 x))) (/ 1.0 (sqrt x))))))
41.0ms
(* (/ x 1.0) (* (/ (+ 1.0 x) 1.0) (+ (/ 1.0 (sqrt (+ 1.0 x))) (/ 1.0 (sqrt x)))))
38.0ms
(* (/ x 1.0) (* (/ (+ 1.0 x) 1.0) (+ (/ 1.0 (sqrt (+ 1.0 x))) (/ 1.0 (sqrt x)))))
Rules
5622×*-un-lft-identity
5148×times-frac
4489×add-sqr-sqrt
2542×add-cube-cbrt
1297×sqrt-prod
1090×add-exp-log
1017×distribute-lft-out
958×add-cbrt-cube
739×distribute-lft-out--
700×difference-of-squares
659×pow1
579×add-log-exp
407×unpow-prod-down
371×associate-/l*
370×associate-*l*
354×div-inv
341×associate-*r*
335×cbrt-prod
317×associate-/r*
254×prod-exp
215×div-exp
209×cbrt-unprod
196×associate-/r/
193×flip-- flip3--
176×cbrt-undiv associate-*r/
172×cube-prod
137×sqr-pow
134×log-prod
127×flip-+ flip3-+
113×unswap-sqr
109×pow-prod-down
98×frac-times
93×sub-neg
88×cbrt-div diff-log exp-prod
86×pow-unpow
74×pow-pow
72×clear-num frac-2neg
69×distribute-rgt-out--
68×log-pow
67×swap-sqr
66×distribute-rgt-in distribute-lft-in
63×associate-*l/
59×*-commutative
57×pow1/3
55×sqrt-div
53×associate-/l/
42×pow-exp
41×frac-add
40×pow-to-exp
38×sqrt-pow1 pow1/2
36×rem-sqrt-square
33×sum-log distribute-rgt-neg-in
27×div-sub
25×distribute-lft-neg-in log-div
19×+-commutative frac-sub
18×associate-+r+ associate--l+
17×tan-quot
15×1-exp cube-mult
14×rem-log-exp
13×rec-exp pow-prod-up
11×pow-sqr unpow3
9×cube-div
8×distribute-frac-neg associate--r+
7×associate--l- neg-mul-1
6×neg-sub0 pow-flip unpow2
5×pow2 difference-cubes pow-plus inv-pow distribute-rgt-neg-out rem-cube-cbrt
4×exp-sum unpow-prod-up associate-+l+ sin-mult exp-diff
3×sub-div difference-of-sqr--1 rem-cbrt-cube
2×exp-neg tan-sum quot-tan cos-sum associate-+r- sin-sum associate--r- neg-log un-div-inv associate-+l- rem-exp-log
1×rem-square-sqrt diff-cos sqrt-pow2 sin-cos-mult exp-to-pow sqrt-unprod diff-sin diff-atan cos-mult

localize1.2s (1.0%)

bsearch919.0ms (0.7%)

end0.0ms (0.0%)

Profiling

Loading profile data...