Date:Tuesday, February 18th, 2020
Commit:3b7244d2 on master
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 (53.5%)

Algorithm
56×intervals
16×halfpoints
Results
24.1s66652×body1280valid
16.7s17204×body2560valid
8.1s42077×body640valid
4.0s12792×body10240exit
2.9s93988×body80valid
2.5s20766×body320valid
1.6s63578×body80nan
887.0ms11023×body160valid
564.0ms47469×pre80true
292.0ms651×body1280nan
224.0ms675×body640nan
128.0ms419×body5120valid
69.0ms371×body320nan
24.0ms216×body160nan

series35.5s (17.7%)

Calls

394 calls:

595.0ms
(+ (log (/ (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0))) (sqrt N))) (log (/ (cbrt (+ N 1.0)) (sqrt N))))
580.0ms
(* (cbrt (/ (/ 1 2.0) (sqrt 2.0))) (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt 2.0)) (sin y)))
503.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))))
451.0ms
(+ (log (/ (cbrt (+ N 1.0)) (sqrt (cbrt N)))) (log (/ (cbrt (+ N 1.0)) (sqrt N))))

prune34.1s (17.0%)

simplify10.1s (5.0%)

Algorithm
194×egg-herbie

rewrite7.4s (3.7%)

Algorithm
122×rewrite-expression-head
Calls

394 calls:

272.0ms
(log (exp (- (pow (pow (+ x 1.0) (/ 1.0 n)) 3) (pow (pow x (/ 1.0 n)) 3))))
271.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)))
211.0ms
(* (sqrt (* (/ (sqrt 1.0) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x)))) (/ (sqrt 1.0) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x)))))) (sqrt (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))))
185.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
173.0ms
(* (/ (sqrt 1.0) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x)))) (/ (sqrt 1.0) (sqrt (+ (sqrt (+ x 1.0)) (sqrt x)))))
Rules
6465×*-un-lft-identity
6146×times-frac
6011×add-sqr-sqrt
3495×add-cube-cbrt
1894×sqrt-prod
1707×add-exp-log
1150×add-cbrt-cube
951×difference-of-squares
892×associate-*r*
861×distribute-lft-out
800×unpow-prod-down
729×pow1
707×add-log-exp
694×associate-*l*
682×distribute-lft-out-- log-prod
561×cbrt-prod
492×div-exp
451×associate-/l*
430×prod-exp
423×associate-/r*
371×sqr-pow
302×unswap-sqr
298×associate-/r/
285×flip-- flip3--
270×div-inv
254×log-pow
253×cbrt-undiv
248×exp-prod
242×cbrt-unprod
241×cube-prod
216×associate-*l/
212×swap-sqr
181×flip-+ flip3-+
119×unpow2
116×diff-log sub-neg
108×cbrt-div
105×pow-prod-down
103×associate-*r/
100×associate-/l/
99×associate-+r+
98×associate-+l+
96×frac-times
94×1-exp
92×distribute-rgt-neg-in
83×pow-exp
80×sqrt-div
79×*-commutative
77×frac-2neg clear-num
76×pow-unpow rec-exp
69×pow-to-exp sqrt-pow1
55×pow1/2 sum-log
50×rem-log-exp
48×frac-add pow1/3
34×log-div
32×+-commutative
31×distribute-rgt-in frac-sub distribute-lft-in
29×pow-pow rem-sqrt-square
24×complex-mul-def div-sub
23×tan-quot
19×pow-prod-up
18×neg-sub0
17×pow-flip
16×cube-div rem-cube-cbrt exp-sum
15×inv-pow pow-sqr associate--l+
14×associate--l- unpow3 cube-mult neg-log
13×exp-diff associate--r+
11×cos-mult associate-+l-
9×sin-mult
7×un-div-inv sqrt-unprod associate-+r- pow-plus pow2
6×rem-exp-log sqrt-undiv *.c-commutative exp-to-pow
5×log-rec
4×pow-div difference-cubes sin-cos-mult +.c-commutative complex-add-def
3×distribute-rgt-out-- rem-square-sqrt rem-cbrt-cube
2×cos-sum distribute-lft-neg-in associate-+l+.c exp-neg difference-of-sqr-1 unsub-neg associate-*l*.c sub-div neg-mul-1 tan-sum distribute-neg-frac sin-sum
1×diff-atan diff-cos quot-tan frac-2neg.c diff-sin

regimes2.9s (1.4%)

Accuracy

Total 26.5b remaining (13.1%)

Threshold costs 6.5b (3.2%)

4.0b85.4%quad2m (problem 3.2.1, negative)
3.8b84.5%quadp (p42, positive)
3.5b87%quadm (p42, negative)
3.2b0%expq3 (problem 3.4.2)
2.6b90.2%quad2p (problem 3.2.1, positive)

localize1.9s (0.9%)

bsearch1.2s (0.6%)

end1.0ms (0.0%)