Date:Tuesday, May 19th, 2020
Commit:6de45b16 on cleanup
Hostname:warfa with Racket 7.5
Seed:2020140
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 (53.2%)

Algorithm
56×intervals
16×halfpoints
Results
25.3s67985×body1280valid
18.1s17278×body2560valid
9.1s42643×body640valid
3.5s92229×body80valid
2.8s20472×body320valid
2.3s63939×body80nan
1.2s15860×body80overflowed
1.2s1121×body1280nan
932.0ms10503×body160valid
718.0ms47546×pre80true
646.0ms949×body640nan
184.0ms462×body320nan
166.0ms422×body5120valid
54.0ms250×body160nan

series46.6s (22.3%)

Calls

410 calls:

1.3s
(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (+ (* 1/6 (pow (* b eps) 3)) (+ (* 1/2 (pow (* b eps) 2)) (* eps b)))))
853.0ms
(/ (* 1.0 (/ (+ x (- 1.0 x)) (+ (sqrt (+ x 1.0)) (sqrt x)))) (* (sqrt x) (sqrt (+ x 1.0))))
844.0ms
(/ (* 1.0 (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))) (* (sqrt x) (sqrt (+ x 1.0))))
724.0ms
(/ (+ 1.0 0) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))
712.0ms
(/ (* 1.0 (- (sqrt (+ x 1.0)) (sqrt x))) (* (sqrt x) (sqrt (+ x 1.0))))

prune30.4s (14.5%)

Filtered
14025 candidates to 8804 candidates (62.8%)

simplify10.7s (5.1%)

Algorithm
196×egg-herbie

rewrite3.9s (1.9%)

Algorithm
124×rewrite-expression-head
Calls

410 calls:

49.0ms
(* (sqrt (/ (+ 1.0 0) (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (/ (+ 1.0 0) (+ (sqrt (+ x 1.0)) (sqrt x)))))
40.0ms
(* (cbrt (/ (- (log 1.0) (+ (* 1.0 x) (* 1/2 (/ (pow x 2) (pow 1.0 2))))) (- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2)))))) (cbrt (/ (- (log 1.0) (+ (* 1.0 x) (* 1/2 (/ (pow x 2) (pow 1.0 2))))) (- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2)))))))
34.0ms
(/ (/ (+ 1.0 0) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))
32.0ms
(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))
31.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
Rules
7355×*-un-lft-identity
6684×times-frac
6200×add-sqr-sqrt
3771×add-cube-cbrt
2019×sqrt-prod
1396×add-exp-log
1129×distribute-lft-out
1031×add-cbrt-cube
1005×unpow-prod-down
997×difference-of-squares
866×cbrt-prod
766×pow1
765×distribute-lft-out--
755×associate-*r*
735×add-log-exp
630×associate-/l*
517×associate-*l*
440×associate-/r*
426×log-prod
425×cube-prod
341×prod-exp
339×sqr-pow
296×div-exp
289×associate-/r/ unswap-sqr
269×flip3-- flip--
242×div-inv
203×flip-+ flip3-+
199×cbrt-undiv
185×cbrt-unprod
166×associate-*l/
158×log-pow
154×distribute-rgt-neg-in
144×swap-sqr
128×sub-neg
124×diff-log
123×pow-unpow
119×unpow2
111×associate--r+
106×sqrt-pow1
104×pow-prod-down
94×sqrt-div associate-*r/
92×distribute-rgt-in cbrt-div distribute-lft-in
91×pow-exp
89×pow-to-exp
88×associate-/l/
84×*-commutative
83×frac-times
76×frac-2neg clear-num
75×associate-+r+
66×exp-prod
65×pow1/3
62×sum-log
54×distribute-lft-neg-in
52×pow1/2
43×log-div associate--l+
42×cube-div
39×exp-sum
37×1-exp rec-exp
35×frac-sub
34×tan-quot
32×frac-add
30×associate-+l+ +-commutative
29×rem-log-exp
27×unpow3 cube-mult
25×pow-prod-up
24×complex-mul-def div-sub
23×rem-sqrt-square
21×pow-pow
19×pow-sqr
17×cos-mult
13×exp-diff pow-flip
12×neg-sub0 sin-mult associate-+l-
11×rem-cube-cbrt inv-pow
8×associate--l-
7×pow2 pow-plus
6×un-div-inv difference-of-sqr-1 neg-log neg-mul-1 *.c-commutative
5×sqrt-unprod associate-+r- sub-div
4×+.c-commutative complex-add-def log-rec
3×sin-cos-mult rem-exp-log rem-cbrt-cube distribute-neg-frac
2×cos-sum associate-+l+.c exp-neg rem-square-sqrt associate-*l*.c tan-sum exp-to-pow sin-sum
1×difference-cubes diff-atan diff-cos unsub-neg distribute-frac-neg frac-2neg.c diff-sin

regimes3.2s (1.5%)

Accuracy

Total 21.3b remaining (9.6%)

Threshold costs 7.2b (3.2%)

3.3b0%expq3 (problem 3.4.2)
3.0b89%quadp (p42, positive)
2.3b91.3%quad2p (problem 3.2.1, positive)
1.7b84.2%2nthrt (problem 3.4.6)
1.7b83.2%2cos (problem 3.3.5)

localize1.9s (0.9%)

bsearch1.3s (0.6%)

end1.0ms (0.0%)

Profiling

Loading profile data...