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:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

sample1.9m (54.9%)

Algorithm
56×intervals
16×halfpoints
Results
25.4s67576×body1280valid
18.4s17446×body2560valid
8.9s42280×body640valid
3.6s92075×body80valid
3.1s20819×body320valid
2.4s63691×body80nan
1.5s1117×body1280nan
1.1s15719×body80overflowed
970.0ms10776×body160valid
735.0ms47483×pre80true
663.0ms948×body640nan
184.0ms451×body320nan
158.0ms434×body5120valid
51.0ms236×body160nan

series40.6s (19.5%)

Calls

405 calls:

1.8s
(pow (- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow (sqrt x) (/ 1.0 n))) 3)
1.1s
(exp (- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow (sqrt x) (/ 1.0 n))))
784.0ms
(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (+ (* 1/6 (pow (* eps a) 3)) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))) (- (exp (* b eps)) 1.0)))
619.0ms
(- (pow (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) 3) (pow (cos x) 3))
530.0ms
(log (exp (- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow (sqrt x) (/ 1.0 n)))))

prune32.0s (15.4%)

Filtered
13416 candidates to 8457 candidates (63.0%)

simplify10.6s (5.1%)

Algorithm
195×egg-herbie

rewrite4.2s (2.0%)

Algorithm
123×rewrite-expression-head
Calls

405 calls:

103.0ms
(/ (* (+ (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (* 2.0 (- (+ (/ 1 (pow x 2)) (/ 1 (pow x 4))) (/ 1 (pow x 3))))) (* (+ (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (- x 1.0)))
99.0ms
(- (* (* (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0)))) (* (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0))))) (* (cbrt x) (cbrt x)))
57.0ms
(- (+ (/ 1 (pow x 2)) (/ 1 (pow x 4))) (/ 1 (pow x 3)))
57.0ms
(- (+ (/ 1 (pow x 2)) (/ 1 (pow x 4))) (/ 1 (pow x 3)))
42.0ms
(/ (* (+ (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (+ 1.0 (* (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (- x 1.0)))) (* (+ (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (- x 1.0)))
Rules
6053×*-un-lft-identity
6033×times-frac
5978×add-sqr-sqrt
3459×add-cube-cbrt
1681×sqrt-prod
1406×add-exp-log
1056×difference-of-squares
1001×add-cbrt-cube
928×unpow-prod-down
751×add-log-exp
717×associate-*r*
714×distribute-lft-out--
670×distribute-lft-out
653×pow1
650×associate-/l*
457×associate-/r*
436×sqr-pow
383×associate-*l*
360×div-exp
325×prod-exp
281×cbrt-prod
276×unswap-sqr
265×cube-prod
253×flip-- flip3--
242×associate-/r/
238×div-inv
233×log-prod
206×cbrt-undiv
198×unpow2
190×flip-+ flip3-+
165×cbrt-unprod
152×sqrt-div
134×log-pow
130×sub-neg
127×diff-log
125×exp-prod
118×associate-/l/
113×pow-to-exp pow-exp
108×associate-*r/
102×distribute-rgt-neg-in
96×cbrt-div
88×frac-times
85×sqrt-pow1
81×clear-num frac-2neg
66×pow-prod-down
65×associate-*l/
64×*-commutative
63×pow1/2
61×1-exp
60×sum-log
56×frac-add
53×rec-exp
47×pow1/3
44×rem-sqrt-square
43×associate-+r+ swap-sqr
41×frac-sub
40×log-div
39×distribute-rgt-in distribute-lft-in
36×pow-unpow exp-sum
34×+-commutative
33×tan-quot
31×associate-+l+
26×associate--l+
24×complex-mul-def unpow3 cube-mult
23×div-sub rem-log-exp
21×cube-div
20×pow-pow
18×pow-flip
16×inv-pow
15×pow-prod-up
14×neg-sub0 associate-+l-
13×exp-diff difference-cubes rem-exp-log distribute-rgt-out-- associate--r+
11×rem-cube-cbrt pow-sqr
9×associate--l- cos-mult
8×neg-log sin-mult exp-to-pow
6×*.c-commutative difference-of-sqr-1
5×associate-+r-
4×sqrt-unprod +.c-commutative complex-add-def pow-plus pow2 rem-cbrt-cube
3×un-div-inv sin-cos-mult sub-div log-rec
2×cos-sum associate-+l+.c associate--r- exp-neg pow-sub associate-*l*.c tan-sum pow-neg sin-sum
1×sqrt-pow2 diff-atan diff-cos unsub-neg rem-square-sqrt +-inverses exp-lft-cube frac-2neg.c diff-sin

regimes3.2s (1.5%)

Accuracy

Total 29.2b remaining (12.7%)

Threshold costs 6.9b (3%)

4.8b82.2%quadp (p42, positive)
4.1b85.4%quad2m (problem 3.2.1, negative)
3.2b87.8%quad2p (problem 3.2.1, positive)
3.2b0%expq3 (problem 3.4.2)
2.1b78.8%2cos (problem 3.3.5)

localize1.9s (0.9%)

bsearch1.3s (0.6%)

end1.0ms (0.0%)

Profiling

Loading profile data...