Date:Sunday, May 3rd, 2020
Commit:be9078eb on bug-fix
Hostname:warfa with Racket 7.5
Seed:2020124
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.6%)

Algorithm
56×intervals
16×halfpoints
Results
25.5s67547×body1280valid
18.0s17368×body2560valid
9.2s42767×body640valid
3.7s92064×body80valid
2.9s20527×body320valid
2.4s65045×body80nan
1.2s1097×body1280nan
1.1s15827×body80overflowed
998.0ms11063×body160valid
731.0ms47323×pre80true
661.0ms917×body640nan
205.0ms492×body320nan
164.0ms424×body5120valid
53.0ms244×body160nan

series48.6s (22.8%)

Calls

413 calls:

2.8s
(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (/ (+ (neg (* 1.0 1.0)) (pow (exp a) (* 2 eps))) (+ (exp (* a eps)) 1.0)) (* b (+ (+ (* (* 1/2 (pow eps 2)) b) (* (* 1/6 (* (pow eps 3) b)) b)) eps))))
1.6s
(log (pow (exp (/ (- (* (/ 0.3333333333333333 N) (/ 0.3333333333333333 N)) (* 0.5 0.5)) (pow N 2))) N))
1.4s
(* (cbrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) (cbrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))))
1.1s
(cbrt (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x)))
1.0s
(* (cbrt (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x))) (cbrt (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x))))

prune30.1s (14.1%)

Filtered
12703 candidates to 8418 candidates (66.3%)

simplify10.1s (4.7%)

Algorithm
197×egg-herbie

rewrite3.7s (1.8%)

Algorithm
125×rewrite-expression-head
Calls

413 calls:

35.0ms
(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))
35.0ms
(* (sqrt (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))))
34.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
33.0ms
(/ (+ (pow (sqrt (exp x)) 3) (pow (sqrt 1.0) 3)) (- (+ (exp x) 1.0) (* (sqrt (exp x)) (sqrt 1.0))))
31.0ms
(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (/ (+ (neg (* 1.0 1.0)) (pow (exp a) (* 2 eps))) (+ (exp (* a eps)) 1.0)) (* b (+ (+ (* (* 1/2 (pow eps 2)) b) (* (* 1/6 (* (pow eps 3) b)) b)) eps))))
Rules
4997×*-un-lft-identity
4966×add-sqr-sqrt
4699×times-frac
2968×add-cube-cbrt
1516×add-exp-log
1100×sqrt-prod
1079×add-cbrt-cube
813×unpow-prod-down
794×associate-*r*
751×add-log-exp
739×pow1
710×difference-of-squares
677×associate-*l*
547×distribute-lft-out--
515×distribute-lft-out
447×associate-/l*
427×prod-exp
365×cbrt-prod
343×associate-/r*
318×div-exp
298×sqr-pow
280×unswap-sqr
258×flip-- flip3--
227×cbrt-unprod
218×log-prod
215×div-inv
212×associate-/r/
192×cbrt-undiv
188×associate-*l/
176×flip-+ flip3-+
165×unpow2
155×cube-prod
133×sub-neg
128×log-pow
116×diff-log
113×exp-prod
110×swap-sqr
107×associate-*r/
103×pow-exp
102×pow-to-exp
97×sqrt-pow1
96×pow-prod-down pow-unpow
86×*-commutative
85×sqrt-div
79×frac-times
76×associate-/l/
70×clear-num frac-2neg
67×sum-log
64×pow-pow
63×pow1/2
59×cbrt-div
54×rec-exp 1-exp
47×frac-add
42×pow1/3
41×distribute-rgt-in distribute-lft-in
40×+-commutative
37×rem-sqrt-square frac-sub
36×log-div
35×distribute-rgt-neg-in
33×rem-log-exp
28×associate-+r+
26×associate-+l+
24×complex-mul-def
23×div-sub
22×associate--l+
21×tan-quot
20×pow-prod-up
18×associate-+l-
17×pow-flip neg-sub0
16×associate--r+
15×inv-pow unpow3 cube-mult
14×cube-div pow-sqr
13×neg-log
12×distribute-rgt-out--
11×un-div-inv sub-div
10×associate--l-
9×cos-mult
8×rem-cube-cbrt sin-mult exp-sum
7×exp-diff
6×pow2 *.c-commutative pow-plus
5×sqrt-unprod exp-to-pow log-rec
4×mul-1-neg +.c-commutative complex-add-def sum-cubes
3×associate-+r- unsub-neg
2×cos-sum sin-cos-mult sqrt-pow2 rem-exp-log distribute-lft-neg-in associate-+l+.c associate--r- exp-neg difference-of-sqr-1 rem-square-sqrt associate-*l*.c neg-mul-1 tan-sum distribute-neg-frac rem-cbrt-cube sin-sum
1×difference-cubes diff-atan diff-cos diff-sin

regimes3.0s (1.4%)

Accuracy

Total 25.9b remaining (11.6%)

Threshold costs 6.6b (3%)

3.4b0%expq3 (problem 3.4.2)
3.2b88.5%quadm (p42, negative)
3.1b89.3%quad2p (problem 3.2.1, positive)
3.0b89.9%quadp (p42, positive)
2.3b79.8%2nthrt (problem 3.4.6)

localize1.9s (0.9%)

bsearch1.3s (0.6%)

end1.0ms (0.0%)

Profiling

Loading profile data...