Date:Thursday, February 27th, 2020
Commit:17a4275c on refactor-and-minor
Hostname:warfa with Racket 7.5
Seed:2020058
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 (50.0%)

Algorithm
56×intervals
16×halfpoints
Results
24.8s67169×body1280valid
17.2s17413×body2560valid
8.4s41524×body640valid
4.0s12730×body10240exit
3.0s93947×body80valid
2.6s20705×body320valid
1.8s63234×body80nan
890.0ms10833×body160valid
567.0ms47359×pre80true
329.0ms680×body1280nan
232.0ms681×body640nan
149.0ms543×body5120valid
71.0ms357×body320nan
24.0ms197×body160nan

prune45.5s (20.7%)

Filtered
23280 candidates to 10403 candidates (44.7%)

series33.0s (15.0%)

Calls

418 calls:

757.0ms
(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (+ (* 1/6 (* (pow a 3) (pow eps 3))) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))) (- (exp (* b eps)) 1.0)))
726.0ms
(/ (- (* (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (- (/ 1.0 (+ x 1.0)) (/ 2.0 x))) (* (/ 1.0 (- x 1.0)) (/ 1.0 (- x 1.0)))) (- (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0))))
491.0ms
(/ (/ (* (* 1.0 1.0) 1.0) (* (+ x 1.0) x)) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0)))))
488.0ms
(/ (/ (* (* 1.0 1.0) (- (+ x 1.0) x)) (* (+ x 1.0) x)) (+ (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0)))))
376.0ms
(+ (+ 1.0 (/ 0.16666666666666669 (pow n 2))) (* 1.0 (log (/ 1 n))))

simplify15.2s (6.9%)

Algorithm
195×egg-herbie

rewrite10.1s (4.6%)

Algorithm
123×rewrite-expression-head
Calls

418 calls:

572.0ms
(- 1.0 (- (+ (+ 1.0 (/ 0.16666666666666669 (pow n 2))) (* 1.0 (log (/ 1 n)))) (/ 0.5 n)))
530.0ms
(cbrt (/ (/ (pow (- (pow (* (exp (* a x)) (exp (* a x))) 3) (pow (* 1.0 1.0) 3)) 3) (pow (+ (* (* 1.0 1.0) (+ (* 1.0 1.0) (pow (exp (* a x)) 2))) (* (pow (exp (* a x)) 2) (pow (exp (* a x)) 2))) 3)) (pow (+ (exp (* a x)) 1.0) 3)))
433.0ms
(/ (- (* (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (- (/ 1.0 (+ x 1.0)) (/ 2.0 x))) (* (/ 1.0 (- x 1.0)) (/ 1.0 (- x 1.0)))) (- (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0))))
319.0ms
(- (+ (- 1.0 (+ (* 1.0 (log (/ 1 n))) (* 0.16666666666666669 (/ 1 (pow n 2))))) (/ 0.5 n)) 1.0)
215.0ms
(* (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)))
Rules
24000×times-frac
14416×*-un-lft-identity
13867×add-sqr-sqrt
12228×unpow-prod-down
11725×cube-prod
8685×cbrt-prod
8368×add-cube-cbrt
6934×difference-of-squares
4831×sqr-pow
1863×distribute-lft-out
1588×add-exp-log
1534×unpow3 cube-mult
1417×sqrt-prod
1206×distribute-lft-out--
1142×add-cbrt-cube
808×add-log-exp
730×associate-*r*
707×pow1
638×associate-/l*
593×log-prod
495×associate-*l*
418×associate-/r*
406×div-exp
403×prod-exp
379×difference-cubes
346×flip-- flip3--
344×div-inv
325×associate-*l/
323×associate-/r/
279×unswap-sqr
235×cbrt-undiv
231×flip-+ flip3-+
221×cbrt-unprod
218×frac-sub
217×frac-times
185×unpow2
166×associate-*r/
159×associate-/l/
158×log-pow
143×distribute-rgt-neg-in diff-log
141×sub-neg
124×swap-sqr
122×exp-prod
108×pow-exp
106×pow-to-exp
86×pow-prod-down
82×pow-unpow
80×clear-num frac-2neg
78×sqrt-div
77×*-commutative
71×sum-log
70×associate-+r+
56×distribute-rgt-in distribute-lft-in
55×cbrt-div
54×frac-add
48×1-exp
47×cube-div
45×log-div
40×rem-log-exp
36×+-commutative
35×associate-+l+
34×exp-sum
32×tan-quot
30×pow1/2 rec-exp sqrt-pow1
29×rem-sqrt-square
24×complex-mul-def pow1/3 div-sub
21×neg-sub0
20×pow-pow associate--l+
18×associate--r+
16×exp-diff
15×associate-+l-
14×distribute-rgt-out--
13×neg-log
12×pow-prod-up associate--l- pow-sqr
9×rem-cube-cbrt pow-plus
8×rem-exp-log cos-mult pow2
7×sin-mult exp-to-pow
6×*.c-commutative pow-flip sub-div
5×un-div-inv
4×inv-pow associate-+r- exp-neg sin-cos-mult +.c-commutative complex-add-def
3×associate--r- unsub-neg sqr-cos log-rec
2×sqrt-undiv cos-sum associate-+l+.c pow-sub difference-of-sqr-1 distribute-rgt-out associate-*l*.c tan-sum distribute-rgt-neg-out pow-neg sin-sum rem-cbrt-cube
1×diff-atan diff-cos +-inverses diff-sin

regimes2.8s (1.3%)

Accuracy

Total 23.3b remaining (11.2%)

Threshold costs 8.2b (4%)

4.5b81.5%quadp (p42, positive)
3.3b0%expq3 (problem 3.4.2)
1.6b84.2%2cos (problem 3.3.5)
1.6b92.7%expax (section 3.5)
1.5b83.4%2nthrt (problem 3.4.6)

localize2.1s (0.9%)

bsearch1.1s (0.5%)

end1.0ms (0.0%)