Date:Thursday, July 2nd, 2020
Commit:b33883dc on report-fixes
Hostname:warfa with Racket 7.5
Seed:2020184
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

sample1.3min (66.0%)

Algorithm
56×intervals
Results
27.1s70088×body1280valid
18.7s17272×body2560valid
9.4s43736×body640valid
3.5s87614×body80valid
3.0s21628×body320valid
2.1s51764×body80nan
1.2s1132×body1280nan
938.0ms10339×body160valid
805.0ms10089×body80overflowed
667.0ms47203×pre80true
638.0ms932×body640nan
279.0ms636×body1280overflowed
192.0ms460×body320nan
175.0ms441×body5120valid
114.0ms165×body2560overflowed
109.0ms371×body640overflowed
50.0ms224×body160nan
44.0ms201×body320overflowed
12.0ms83×body160overflowed

prune18.3s (15.6%)

Filtered
10504 candidates to 7068 candidates (32.7%)

simplify7.5s (6.5%)

Algorithm
164×egg-herbie

series5.1s (4.4%)

Calls

363 calls:

262.0ms
(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (+ (* a eps) (* eps (* (* a (* a eps)) (+ 1/2 (* (* eps 1/6) a))))) (- (exp (* b eps)) 1.0)))
124.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (log (pow (exp (tan x)) (tan eps))))) (tan x))
96.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x))
70.0ms
(/ (/ (+ 0 (* 4.0 (* a c))) (- (sqrt (- (* b b) (* 4.0 (* a c)))) b)) (* 2.0 a))
69.0ms
(/ (+ 0 (* 4.0 (* a c))) (- (sqrt (- (* b b) (* 4.0 (* a c)))) b))

regimes3.9s (3.3%)

Accuracy

Total 17.8b remaining (27.9%)

Threshold costs 6.2b (9.7%)

3.4b0%expq3 (problem 3.4.2)
3.4b87.5%quad2m (problem 3.2.1, negative)
1.3b94.6%quad2p (problem 3.2.1, positive)
1.2b95%quadm (p42, negative)
1.1b89.2%2nthrt (problem 3.4.6)

rewrite3.1s (2.7%)

Algorithm
108×rewrite-expression-head
Calls

363 calls:

128.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)))
58.0ms
(+ (/ 2.0 (pow x 7)) (+ (/ 2.0 (pow x 5)) (/ 2.0 (pow x 3))))
43.0ms
(* (/ 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)))))
Rules
5619×*-un-lft-identity
5036×times-frac
4187×add-sqr-sqrt
2577×add-cube-cbrt
1456×sqrt-prod
1169×add-exp-log
1111×distribute-lft-out
1030×add-cbrt-cube
740×pow1
637×distribute-lft-out--
635×add-log-exp
478×difference-of-squares
460×associate-*l*
383×associate-*r*
376×cbrt-prod
359×div-inv
344×associate-/l*
321×log-prod
301×prod-exp
292×associate-/r*
253×cbrt-unprod
222×unpow-prod-down
195×div-exp
192×associate-/r/
183×associate-*r/
180×flip-+ flip3-+
168×cbrt-undiv flip-- flip3--
155×pow-prod-down
150×unswap-sqr
132×pow-unpow
109×swap-sqr
95×sqr-pow
90×sub-neg
81×frac-times
80×sqrt-div diff-log
76×*-commutative
72×distribute-rgt-in distribute-lft-in
69×cbrt-div pow1/3
68×frac-add clear-num frac-2neg
67×sum-log
64×associate-*l/ distribute-rgt-out--
63×associate-+r+
56×associate-/l/
53×log-pow
45×sqrt-pow1 pow1/2
43×cube-prod
40×pow-exp
39×log-div
37×pow-to-exp
36×+-commutative
33×tan-quot
29×rem-sqrt-square
27×exp-sum
26×div-sub
23×pow-pow
21×associate-+l+ frac-sub
20×distribute-rgt-neg-in
19×rem-log-exp
18×pow-prod-up
17×associate--l+ exp-prod
16×pow-sqr
13×distribute-frac-neg
10×cube-mult unpow3
9×1-exp rec-exp
8×distribute-lft-neg-in
7×associate--l- pow2 neg-sub0 distribute-neg-in pow-plus sin-mult associate--r+
6×exp-diff sub0-neg
5×cos-mult pow-flip
4×neg-mul-1 associate-+l- rem-cube-cbrt
3×cos-sum inv-pow sub-div neg-log rem-exp-log
2×exp-neg tan-sum associate-+r- rem-square-sqrt sin-cos-mult sqrt-unprod sin-sum associate--r- distribute-rgt-neg-out
1×cube-div distribute-lft-neg-out diff-cos exp-to-pow diff-sin diff-atan un-div-inv distribute-neg-frac

localize1.2s (1.1%)

bsearch641.0ms (0.5%)

end0.0ms (0.0%)

Profiling

Loading profile data...