Date:Thursday, May 28th, 2020
Commit:002bf197 on no-eval
Hostname:warfa with Racket 7.5
Seed:2020149
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.2m (61.3%)

Algorithm
56×intervals
Results
25.4s67705×body1280valid
18.3s17142×body2560valid
9.0s42448×body640valid
3.9s91814×body80valid
2.9s21155×body320valid
2.3s64388×body80nan
1.2s15496×body80overflowed
1.2s1097×body1280nan
957.0ms10717×body160valid
677.0ms47346×pre80true
659.0ms942×body640nan
195.0ms459×body320nan
162.0ms449×body5120valid
43.0ms191×body160nan

prune22.1s (18.1%)

Filtered
12718 candidates to 8226 candidates (35.3%)

simplify9.9s (8.1%)

Algorithm
165×egg-herbie

series6.4s (5.2%)

Calls

362 calls:

599.0ms
(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (* b (+ (+ (* (* 1/2 (pow eps 2)) b) (* (* 1/6 (pow eps 3)) (pow b 2))) eps))))
570.0ms
(- (* (/ (+ (tan x) (tan eps)) (- 1 (pow (* (tan x) (tan eps)) 3))) (+ (* 1 1) (+ (* (* (tan x) (tan eps)) (* (tan x) (tan eps))) (* 1 (* (tan x) (tan eps)))))) (tan x))
180.0ms
(/ 1.0 (sqrt (+ x 1.0)))
99.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (/ (* (tan x) (sin eps)) (cos eps)))) (tan x))
98.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x))

regimes4.1s (3.4%)

Accuracy

Total 20.7b remaining (25.3%)

Threshold costs 5.9b (7.2%)

4.0b86%quadp (p42, positive)
3.4b0%expq3 (problem 3.4.2)
1.7b83.6%2nthrt (problem 3.4.6)
1.6b93.7%quad2p (problem 3.2.1, positive)
1.5b84.3%2cos (problem 3.3.5)

rewrite3.1s (2.5%)

Algorithm
109×rewrite-expression-head
Calls

362 calls:

50.0ms
(/ (/ (cbrt a) (/ (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) c)) (cbrt a))
46.0ms
(* (sqrt (/ (+ 1.0 0) (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (/ (+ 1.0 0) (+ (sqrt (+ x 1.0)) (sqrt x)))))
33.0ms
(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))
29.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
25.0ms
(/ (/ a (/ (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) c)) a)
Rules
8452×times-frac
7122×*-un-lft-identity
6837×add-sqr-sqrt
4260×add-cube-cbrt
1328×cbrt-prod
1308×sqrt-prod
1296×add-exp-log
1023×difference-of-squares
933×add-cbrt-cube
848×distribute-lft-out--
705×associate-/l*
687×pow1
683×associate-*r*
674×add-log-exp
605×distribute-lft-out
378×unpow-prod-down
348×associate-*l*
335×prod-exp
328×associate-/r*
274×div-exp
266×div-inv
252×unswap-sqr
244×flip3-- flip--
227×distribute-rgt-neg-in
222×associate-/r/
201×log-prod
183×sqr-pow
178×cbrt-unprod
177×cbrt-undiv
170×flip-+ flip3-+
156×associate-*l/
141×swap-sqr
113×diff-log
104×sqrt-div sub-neg
100×associate-*r/
97×pow-unpow unpow2
94×pow-prod-down
88×associate-/l/ sqrt-pow1
85×cbrt-div
84×frac-times
80×pow-exp
76×pow1/3
74×pow-to-exp
72×*-commutative
65×pow1/2 clear-num frac-2neg
64×log-pow
63×tan-quot
54×sum-log
48×frac-add
37×rem-sqrt-square
34×1-exp rec-exp
32×distribute-rgt-in distribute-lft-in
31×log-div cube-prod
30×pow-prod-up
29×frac-sub
26×rem-log-exp
25×associate--l+
24×pow-sqr +-commutative
21×associate-+l+
18×div-sub exp-prod
17×pow-pow associate--r+
12×neg-sub0
11×difference-of-sqr-1
10×unpow3 associate--l- cube-mult pow-plus
9×exp-sum pow2
8×rem-cube-cbrt
7×neg-log sin-mult associate-+l- exp-to-pow
6×distribute-lft-neg-in pow-flip
5×cube-div sqrt-unprod inv-pow associate-+r+
4×exp-diff un-div-inv rem-exp-log unpow-prod-up cos-mult
2×associate-+r- exp-neg rem-square-sqrt cos-sum neg-mul-1 tan-sum sin-sum
1×e-exp-1 diff-atan sin-cos-mult diff-cos distribute-frac-neg log-rec sub-div rem-cbrt-cube diff-sin

localize1.2s (1.0%)

bsearch599.0ms (0.5%)

end0.0ms (0.0%)

Profiling

Loading profile data...