Date:Wednesday, March 18th, 2020
Commit:1a959946 on master
Hostname:warfa with Racket 7.5
Seed:2020078
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.8m (50.8%)

Algorithm
56×intervals
16×halfpoints
Results
23.0s67912×body1280valid
17.6s17613×body2560valid
7.8s41787×body640valid
4.0s13262×body10240exit
2.8s92422×body80valid
2.3s20365×body320valid
1.8s64376×body80nan
1.3s2241×body1280nan
828.0ms11177×body160valid
732.0ms1849×body640nan
552.0ms47473×pre80true
236.0ms898×body320nan
130.0ms459×body5120valid
68.0ms444×body160nan

series44.5s (20.6%)

Calls

382 calls:

3.2s
(cbrt (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n))))
1.5s
(* (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n))) (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n))))
1.3s
(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (fma 1/6 (* (pow eps 3) (pow b 3)) (fma 1/2 (* (pow eps 2) (pow b 2)) (* eps b)))))
972.0ms
(* (cbrt (fma 0.0021164021164021165 (pow x 5) (* 0.3333333333333333 x))) (cbrt (fma 0.0021164021164021165 (pow x 5) (* 0.3333333333333333 x))))
940.0ms
(- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n)))

prune40.3s (18.6%)

Filtered
16148 candidates to 9206 candidates (57.0%)

simplify11.4s (5.3%)

Algorithm
196×egg-herbie

rewrite4.0s (1.8%)

Algorithm
124×rewrite-expression-head
Calls

382 calls:

194.0ms
(* (sqrt (/ (+ 1.0 0) (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (/ (/ 1.0 (sqrt (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))))
86.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))))
50.0ms
(* (/ (/ 1 (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (* (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (sqrt 2.0)) (sin y)))
43.0ms
(* (sqrt (/ (+ 1.0 0) (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (/ (+ 1.0 0) (+ (sqrt (+ x 1.0)) (sqrt x)))))
Rules
9627×*-un-lft-identity
7522×add-sqr-sqrt
7432×times-frac
5968×add-cube-cbrt
4936×sqrt-prod
3553×prod-diff
1518×distribute-lft-out
1252×unpow-prod-down
1031×add-exp-log
818×associate-*l*
810×add-cbrt-cube
659×add-log-exp
638×pow1
625×associate-*r*
586×difference-of-squares
459×cbrt-prod
429×log-prod
417×fma-neg
404×distribute-lft-out--
375×associate-/l*
370×sqr-pow div-inv
367×log1p-expm1-u expm1-log1p-u
344×associate-/r/
280×associate-+l+
276×associate-/r*
252×cube-prod
236×flip-+ flip3-+
228×prod-exp
222×unswap-sqr
189×flip-- distribute-rgt-neg-in flip3--
185×div-exp
163×fma-def
153×sqrt-div
147×distribute-lft-neg-in
135×cbrt-undiv
134×cbrt-unprod
108×log-pow
106×cbrt-div
105×diff-log
104×sub-neg
103×swap-sqr
102×exp-prod
101×associate-*l/
94×exp-sum
80×associate-+r+
78×pow-prod-down
77×sqrt-pow1
67×frac-times
61×associate-*r/
60×pow1/2
59×frac-2neg clear-num
58×associate-/l/
54×*-commutative pow-exp
53×pow-to-exp
52×unpow3
49×neg-mul-1
48×cube-mult
47×tan-quot
46×sum-log
45×pow-unpow
43×pow1/3
42×fma-udef
40×log-div
36×unpow2
35×distribute-rgt-in distribute-lft-in
33×rem-log-exp
30×+-commutative
26×rem-sqrt-square
24×complex-mul-def
23×div-sub rec-exp 1-exp
22×pow-prod-up pow-flip
18×neg-sub0
17×associate-+l-
16×frac-sub
13×frac-add neg-log
12×pow-sqr
11×pow-pow difference-cubes
10×cube-div pow-div associate--l-
9×associate--l+
8×inv-pow
7×exp-diff
6×rem-exp-log sqrt-unprod cube-unmult *.c-commutative
5×rem-cube-cbrt distribute-rgt-out-- pow2 pow-plus sin-mult
4×difference-of-sqr-1 +.c-commutative associate--r+ complex-add-def
3×un-div-inv associate-+r- unpow-prod-up cos-mult
2×associate-+l+.c expm1-def exp-neg sub-div rem-square-sqrt distribute-rgt-out associate-*l*.c cos-sum tan-sum expm1-udef sin-sum
1×sin-cos-mult e-exp-1 associate--r- distribute-lft1-in distribute-rgt1-in diff-atan diff-cos count-2 expm1-log1p frac-2neg.c diff-sin exp-to-pow rem-cbrt-cube

regimes3.1s (1.4%)

Accuracy

Total 30.2b remaining (13.9%)

Threshold costs 6.0b (2.8%)

4.4b84.4%quad2m (problem 3.2.1, negative)
4.4b84.4%quadm (p42, negative)
4.2b85.5%quad2p (problem 3.2.1, positive)
3.4b88.2%quadp (p42, positive)
3.4b0%expq3 (problem 3.4.2)

localize2.1s (1.0%)

bsearch994.0ms (0.5%)

end1.0ms (0.0%)