Date:Wednesday, May 27th, 2020
Commit:c82eb183 on master
Hostname:warfa with Racket 7.5
Seed:2020148
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

prune2.6m (48.5%)

Filtered
13903 candidates to 8893 candidates (36.0%)

sample1.3m (23.8%)

Algorithm
56×intervals
Results
25.4s67546×body1280valid
18.6s17445×body2560valid
8.7s42098×body640valid
3.5s92464×body80valid
2.7s20621×body320valid
2.2s64555×body80nan
1.2s1157×body1280nan
1.0s15882×body80overflowed
938.0ms10883×body160valid
646.0ms981×body640nan
642.0ms47498×pre80true
179.0ms463×body320nan
169.0ms470×body5120valid
51.0ms243×body160nan

end60.0s (19.0%)

simplify10.0s (3.2%)

Algorithm
166×egg-herbie

series5.3s (1.7%)

Calls

363 calls:

105.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (/ (* (sin x) (tan eps)) (cos x)))) (tan x))
104.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x))
103.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (cbrt (pow (* (tan x) (tan eps)) 3)))) (tan x))
97.0ms
(- (pow (sqrt (sqrt (+ x 1.0))) (/ 1.0 n)) (sqrt (pow (sqrt x) (/ 1.0 n))))
61.0ms
(- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n))))

rewrite4.5s (1.4%)

Algorithm
110×rewrite-expression-head
Calls

363 calls:

764.0ms
(* (cbrt (/ (/ 1.0 (/ (+ x 1.0) (- 0 1.0))) x)) (cbrt (/ (/ 1.0 (/ (+ x 1.0) (- 0 1.0))) x)))
95.0ms
(- (pow (/ x (- x (tan x))) 3) (pow (/ (sin x) (- x (tan x))) 3))
43.0ms
(* (sqrt (/ (+ 1.0 0) (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (/ (+ 1.0 0) (+ (sqrt (+ x 1.0)) (sqrt x)))))
36.0ms
(/ (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))) (sin x))
34.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
Rules
10925×times-frac
9556×*-un-lft-identity
8169×add-sqr-sqrt
5017×add-cube-cbrt
2492×cbrt-prod
1425×sqrt-prod
1297×difference-of-squares
1265×add-exp-log
1128×distribute-lft-out
1047×associate-*r*
1038×distribute-lft-out--
894×add-cbrt-cube
826×unpow-prod-down
703×add-log-exp
652×pow1
618×associate-*l*
565×swap-sqr
534×associate-/l*
398×sqr-pow
389×associate-/r/
348×associate-/r*
347×unswap-sqr
341×flip-- flip3--
325×prod-exp
312×log-prod
298×cube-prod
284×div-inv
258×div-exp
185×unpow2
167×flip-+ flip3-+
164×cbrt-undiv
158×pow-unpow cbrt-unprod
152×associate-*l/
127×sub-neg
125×diff-log
107×log-pow
106×pow-exp
105×associate-/l/ pow-to-exp
95×associate-*r/
92×cbrt-div
91×frac-times
85×exp-prod
83×pow-prod-down
80×sqrt-div
71×*-commutative
67×frac-2neg clear-num
64×sqrt-pow1
60×pow1/2
55×sum-log
53×pow1/3 distribute-rgt-neg-in
46×frac-add
38×pow-pow
35×distribute-rgt-in distribute-lft-in
33×1-exp rec-exp
32×tan-quot
31×rem-sqrt-square
30×+-commutative
28×distribute-rgt-out-- log-div
26×div-sub associate--l+ rem-log-exp
24×frac-sub
23×pow-prod-up
19×pow-sqr
18×neg-sub0
16×associate-+l+
15×difference-cubes
14×cube-div
13×exp-sum associate-+l-
12×unpow3 pow-flip cube-mult associate--r+
11×neg-log associate--l- inv-pow difference-of-sqr-1
9×exp-diff
8×pow-plus pow2
7×sqrt-pow2
6×rem-exp-log associate-+r+ cos-mult
5×rem-cube-cbrt sqrt-unprod sin-mult
4×exp-neg sub-div
3×un-div-inv associate-+r-
2×rem-square-sqrt cos-sum tan-sum rem-cbrt-cube sin-sum
1×sqrt-undiv diff-atan sin-cos-mult diff-cos unsub-neg +-inverses exp-to-pow diff-sin log-rec

regimes4.5s (1.4%)

Accuracy

Total 22.1b remaining (15%)

Threshold costs 6.2b (4.2%)

3.7b87.1%quad2p (problem 3.2.1, positive)
3.4b56.8%expq3 (problem 3.4.2)
2.6b90.2%quad2m (problem 3.2.1, negative)
1.5b85.7%2nthrt (problem 3.4.6)
1.5b85.4%2cos (problem 3.3.5)

bsearch1.7s (0.5%)

localize1.4s (0.4%)

Profiling

Loading profile data...