Date:Tuesday, May 5th, 2020
Commit:9fe10098 on separate-biginterval
Hostname:warfa with Racket 7.5
Seed:2020126
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.3m (47.0%)

Algorithm
43×intervals
16×halfpoints
Results
15.3s42183×body1280valid
9.2s6914×body2560valid
5.2s27333×body640valid
1.6s13196×body320valid
1.3s46098×body80valid
755.0ms26132×body80nan
667.0ms47292×pre80true
481.0ms6424×body160valid
201.0ms4751×body80overflowed
41.0ms37×body1280nan
19.0ms28×body640nan
9.0ms21×body5120valid
7.0ms17×body320nan
1.0ms6×body160nan

series39.3s (23.9%)

Calls

399 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)))))
1.2s
(* (cbrt (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x))) (cbrt (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x))))
1.2s
(cbrt (* (cbrt (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x))) (cbrt (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x)))))
953.0ms
(cbrt (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x)))
951.0ms
(cbrt (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x)))

prune29.4s (17.9%)

Filtered
13067 candidates to 8395 candidates (64.2%)

simplify10.0s (6.1%)

Algorithm
181×egg-herbie

rewrite3.6s (2.2%)

Algorithm
122×rewrite-expression-head
Calls

399 calls:

72.0ms
(- (/ (/ 1.0 n) x) (- (/ (/ 0.5 n) (pow x 2)) (/ (* (log x) 1.0) (* x (pow n 2)))))
60.0ms
(* (/ 4.0 (/ 2.0 (* a c))) (/ (/ 1 (- (neg b) (sqrt (- (* b b) (* 4.0 (* a c)))))) a))
56.0ms
(* (* (cbrt (- (* (* (+ (* x 1/6) 1/2) (+ (* x 1/6) 1/2)) (pow x 4)) (pow x 2))) (cbrt (- (* (* (+ (* x 1/6) 1/2) (+ (* x 1/6) 1/2)) (pow x 4)) (pow x 2)))) (/ (cbrt (- (* (* (+ (* x 1/6) 1/2) (+ (* x 1/6) 1/2)) (pow x 4)) (pow x 2))) (- (* (pow x 2) (+ (* x 1/6) 1/2)) x)))
33.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
33.0ms
(* (sqrt (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))))
Rules
6091×times-frac
5872×add-sqr-sqrt
5653×*-un-lft-identity
3429×add-cube-cbrt
1519×add-exp-log
1037×add-cbrt-cube
963×difference-of-squares
892×sqrt-prod
788×associate-*r*
736×pow1
703×add-log-exp
690×distribute-lft-out--
609×unpow-prod-down
560×associate-/l*
487×associate-*l*
460×distribute-lft-out
408×div-exp
398×associate-/r*
384×cbrt-prod
357×prod-exp
308×sqr-pow
299×unswap-sqr
289×div-inv
285×flip-- flip3--
283×log-prod
264×associate-/r/
220×cube-prod
217×cbrt-undiv
187×cbrt-unprod
179×flip-+ flip3-+
152×log-pow
146×cbrt-div
138×unpow2
137×associate-*l/
124×sub-neg
122×diff-log
95×pow-prod-down
90×sqrt-div pow-exp
89×frac-times associate-*r/ distribute-rgt-neg-in
87×swap-sqr
86×pow-to-exp
85×*-commutative
84×exp-prod
82×sqrt-pow1
72×clear-num frac-2neg
66×associate-/l/
63×pow1/3
60×1-exp rec-exp
58×pow1/2
57×associate-+r+
52×sum-log
47×pow-unpow
46×log-div
42×distribute-rgt-in distribute-lft-in
38×rem-log-exp
30×+-commutative div-sub tan-quot
29×rem-sqrt-square frac-add
27×associate-+l+
26×pow-prod-up
24×complex-mul-def
22×frac-sub
21×associate--l+
20×unpow3 pow-sqr cube-mult
19×associate--r+
16×pow-flip associate-+l-
15×neg-sub0
14×cube-div pow-pow associate--l-
13×inv-pow
10×difference-cubes neg-log
9×rem-cube-cbrt associate-+r- log-rec
8×distribute-rgt-out--
7×pow-plus sin-mult pow2
6×*.c-commutative
5×exp-diff sqrt-unprod unsub-neg rem-cbrt-cube
4×mul-1-neg sin-cos-mult +.c-commutative complex-add-def sub-div
3×cos-mult exp-to-pow
2×un-div-inv associate-+l+.c exp-neg difference-of-sqr-1 rem-square-sqrt associate-*l*.c cos-sum tan-sum exp-sum sin-sum
1×rem-exp-log associate--r- diff-atan diff-cos frac-2neg.c diff-sin

regimes2.9s (1.8%)

Accuracy

Total 8.6b remaining (7.4%)

Threshold costs 5.1b (4.4%)

3.5b0%expq3 (problem 3.4.2)
0.8b96.3%expq2 (section 3.11)
0.7b0%Euler formula imaginary part (p55)
0.6b97.1%expax (section 3.5)
0.6b0%exp2 (problem 3.3.7)

localize1.9s (1.1%)

bsearch39.0ms (0.0%)

end0.0ms (0.0%)

Profiling

Loading profile data...