Date:Tuesday, February 18th, 2020
Commit:5d186d9c on refactor-and-minor
Hostname:warfa with Racket 7.5
Seed:2020049
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.8m (54.0%)

Algorithm
56×intervals
16×halfpoints
Results
24.1s66652×body1280valid
16.7s17204×body2560valid
8.3s42077×body640valid
4.0s12792×body10240exit
3.0s93988×body80valid
2.6s20766×body320valid
1.7s63578×body80nan
877.0ms11023×body160valid
563.0ms47469×pre80true
296.0ms651×body1280nan
213.0ms675×body640nan
134.0ms419×body5120valid
69.0ms371×body320nan
23.0ms216×body160nan

series34.8s (17.4%)

Calls

396 calls:

523.0ms
(+ (log (/ (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0))) (sqrt N))) (log (/ (cbrt (+ N 1.0)) (sqrt N))))
498.0ms
(/ (* 1.0 (/ (+ x (- 1.0 x)) (+ (sqrt (+ x 1.0)) (sqrt x)))) (* (sqrt x) (sqrt (+ x 1.0))))
497.0ms
(/ (* 1.0 (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))) (* (sqrt x) (sqrt (+ x 1.0))))
422.0ms
(+ (log (/ (cbrt (+ N 1.0)) (sqrt (cbrt N)))) (log (/ (cbrt (+ N 1.0)) (sqrt N))))
421.0ms
(log (exp (- (pow (pow (+ x 1.0) (/ 1.0 n)) 3) (pow (pow x (/ 1.0 n)) 3))))

prune33.6s (16.9%)

simplify10.1s (5.1%)

Algorithm
194×egg-herbie

rewrite7.4s (3.7%)

Algorithm
122×rewrite-expression-head
Calls

396 calls:

277.0ms
(log (exp (- (pow (pow (+ x 1.0) (/ 1.0 n)) 3) (pow (pow x (/ 1.0 n)) 3))))
272.0ms
(* (/ 1 (* (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))) (/ a (/ (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) c)))
188.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
174.0ms
(* (sqrt (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))) (sqrt (* (/ (sqrt 1.0) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x)))) (/ (sqrt 1.0) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x)))))))
172.0ms
(* (/ (sqrt 1.0) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x)))) (/ (sqrt 1.0) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x)))))
Rules
6294×*-un-lft-identity
6019×times-frac
5991×add-sqr-sqrt
3411×add-cube-cbrt
1957×add-exp-log
1841×sqrt-prod
1153×add-cbrt-cube
967×difference-of-squares
917×associate-*r*
856×unpow-prod-down
770×distribute-lft-out
730×add-log-exp
721×distribute-lft-out--
717×pow1
645×associate-*l*
631×div-exp
555×prod-exp
554×cbrt-prod
535×associate-/l*
377×sqr-pow
373×associate-/r*
350×log-prod
312×unswap-sqr
294×cube-prod
283×flip-- flip3--
277×associate-/r/
260×cbrt-undiv
253×div-inv
247×log-pow exp-prod
238×cbrt-unprod
214×associate-*l/
212×swap-sqr
179×flip-+ flip3-+
160×1-exp
136×distribute-rgt-neg-in
127×rec-exp
124×diff-log
121×sub-neg
119×unpow2
106×associate-+r+
105×cbrt-div
103×pow-prod-down associate-*r/
101×associate-/l/ frac-times
95×associate-+l+
79×pow-unpow *-commutative pow-exp
78×sqrt-div
75×frac-2neg clear-num
74×pow-to-exp
66×sqrt-pow1
58×sum-log
52×pow1/2 frac-add log-div
49×pow1/3
42×rem-log-exp
32×distribute-rgt-in +-commutative distribute-lft-in
29×pow-pow rem-sqrt-square
27×frac-sub
25×div-sub
24×complex-mul-def
23×neg-sub0 tan-quot
21×unpow3 cube-mult associate--l+
19×pow-prod-up neg-log
17×associate--l-
16×cube-div
15×pow-sqr
12×un-div-inv
11×exp-diff rem-cube-cbrt associate--r+ pow-flip cos-mult associate-+l-
10×exp-sum
9×inv-pow associate-+r- sin-mult
7×rem-exp-log sqrt-unprod pow-plus pow2
6×distribute-neg-in sqrt-undiv *.c-commutative
5×exp-to-pow
4×difference-cubes sin-cos-mult +.c-commutative complex-add-def
3×distribute-rgt-out-- rem-square-sqrt rem-cbrt-cube
2×cos-sum associate-+l+.c exp-neg pow-sub difference-of-sqr-1 unsub-neg associate-*l*.c sub-div tan-sum pow-neg sin-sum
1×diff-atan diff-cos frac-2neg.c diff-sin log-rec

regimes2.7s (1.4%)

Accuracy

Total 25.6b remaining (12.7%)

Threshold costs 6.5b (3.2%)

4.0b85.4%quad2m (problem 3.2.1, negative)
3.8b84.5%quadp (p42, positive)
3.7b87.1%quadm (p42, negative)
3.2b0%expq3 (problem 3.4.2)
1.7b82.9%2cos (problem 3.3.5)

localize1.9s (0.9%)

bsearch1.2s (0.6%)

end1.0ms (0.0%)