Date:Saturday, May 2nd, 2020
Commit:37107503 on gh-actions
Hostname:warfa with Racket 7.5
Seed:2020123
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
+o rules:numerics

Details

sample1.9m (54.6%)

Algorithm
56×intervals
16×halfpoints
Results
26.2s67576×body1280valid
18.6s17446×body2560valid
9.3s42280×body640valid
3.8s92075×body80valid
3.0s20819×body320valid
2.4s63691×body80nan
1.3s1117×body1280nan
1.1s15719×body80overflowed
1.0s10776×body160valid
733.0ms47483×pre80true
694.0ms948×body640nan
196.0ms451×body320nan
159.0ms434×body5120valid
53.0ms236×body160nan

series38.7s (18.3%)

Calls

370 calls:

1.3s
(log (cbrt (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow (sqrt x) (* 2 (/ 1.0 n)))))))
1.1s
(fma (pow (sqrt x) (/ 1.0 n)) (- (pow (sqrt x) (/ 1.0 n))) (pow (sqrt x) (* 2 (/ 1.0 n))))
1.1s
(fma (pow (sqrt x) (/ 1.0 n)) (- (pow (sqrt x) (/ 1.0 n))) (pow (sqrt x) (* 2 (/ 1.0 n))))
1.1s
(fma (pow (sqrt x) (/ 1.0 n)) (- (pow (sqrt x) (/ 1.0 n))) (pow (sqrt x) (* 2 (/ 1.0 n))))
1.1s
(log (cbrt (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow (sqrt x) (* 2 (/ 1.0 n)))))))

prune35.7s (16.9%)

Filtered
18486 candidates to 9636 candidates (52.1%)

simplify11.5s (5.4%)

Algorithm
192×egg-herbie

rewrite4.1s (1.9%)

Algorithm
120×rewrite-expression-head
Calls

370 calls:

68.0ms
(- (pow (pow 1.0 3) 3) (pow (pow (cos x) 3) 3))
55.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
52.0ms
(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))
41.0ms
(- (/ x (- x (tan x))) (/ (sin x) (- x (tan x))))
33.0ms
(/ (/ (+ 1.0 0) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))
Rules
10934×*-un-lft-identity
9614×add-sqr-sqrt
9209×times-frac
7163×add-cube-cbrt
5004×prod-diff
2634×unpow-prod-down
2631×sqrt-prod
1551×cube-prod
1281×add-exp-log
1105×distribute-lft-out
1058×difference-of-squares
889×add-cbrt-cube
839×distribute-lft-out--
722×sqr-pow
645×pow1
618×add-log-exp
572×associate-/l*
544×associate-*r*
483×div-inv
480×fma-neg
474×associate-/r/
450×cbrt-div
448×log-prod
443×associate-/r*
427×cbrt-prod
371×div-exp
356×expm1-log1p-u
355×log1p-expm1-u
339×distribute-rgt-neg-in
317×sqrt-div
290×associate-*l*
285×flip-+ flip3-+
283×flip-- flip3--
279×exp-sum
262×prod-exp
260×associate-+l+
248×unpow3 cube-mult
223×frac-times
215×unswap-sqr
198×cbrt-undiv
176×distribute-lft-neg-in
152×unpow2
151×exp-prod
147×log-pow
145×associate-*l/
132×cbrt-unprod
129×associate-*r/
116×fma-def
110×diff-log
108×sub-neg
100×sqrt-pow1
96×associate-/l/
92×pow-exp
91×pow-to-exp
79×swap-sqr
76×clear-num frac-2neg
73×pow-prod-down
72×pow1/2
70×associate-+r+
68×1-exp
67×frac-sub
60×neg-sub0 rec-exp neg-mul-1
54×exp-diff
53×exp-neg
51×pow1/3
40×*-commutative tan-quot
38×log-div
36×pow-prod-up
34×rem-sqrt-square
31×fma-udef
30×pow-unpow pow-sqr
26×sum-log
25×rem-log-exp
24×complex-mul-def pow-flip
23×div-sub
17×inv-pow +-commutative
16×associate--l+
14×pow-pow frac-add
12×hypot-def
11×distribute-rgt-in associate--l- distribute-lft-in associate-+l-
10×rem-cube-cbrt un-div-inv neg-log
9×difference-cubes
8×pow-plus pow2
7×distribute-rgt-out--
6×*.c-commutative
5×rem-exp-log sqrt-unprod associate-+r- associate--r+
4×cube-div difference-of-sqr-1 +.c-commutative complex-add-def cos-mult
3×sin-cos-mult sin-mult log-rec
2×associate-+l+.c expm1-def log1p-udef associate--r- log1p-expm1 sub-div pow-sub rem-square-sqrt associate-*l*.c tan-sum cos-sum pow-neg exp-to-pow sin-sum
1×sqrt-pow2 diff-atan diff-cos expm1-log1p unsub-neg expm1-udef frac-2neg.c diff-sin

regimes3.2s (1.5%)

Accuracy

Total 32.6b remaining (14.4%)

Threshold costs 6.2b (2.7%)

5.1b81.9%quad2m (problem 3.2.1, negative)
5.1b82%quadm (p42, negative)
4.8b82.2%quadp (p42, positive)
3.2b87.8%quad2p (problem 3.2.1, positive)
3.2b0%expq3 (problem 3.4.2)

localize1.9s (0.9%)

bsearch1.1s (0.5%)

end1.0ms (0.0%)

Profiling

Loading profile data...