Date:Friday, March 6th, 2020
Commit:044801c1 on master
Hostname:warfa with Racket 7.5
Seed:2020066
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 (52.4%)

Algorithm
56×intervals
16×halfpoints
Results
22.7s66953×body1280valid
18.0s17638×body2560valid
7.5s42291×body640valid
3.9s12646×body10240exit
2.9s91929×body80valid
2.3s20677×body320valid
1.7s64064×body80nan
1.4s2409×body1280nan
825.0ms11103×body160valid
748.0ms1898×body640nan
542.0ms47425×pre80true
235.0ms998×body320nan
142.0ms464×body5120valid
70.0ms495×body160nan

series39.1s (18.9%)

Calls

426 calls:

1.7s
(- (* (/ (+ (tan x) (tan eps)) (- 1 (pow (* (tan x) (tan eps)) 3))) (+ (* 1 1) (+ (* (* (tan x) (tan eps)) (* (tan x) (tan eps))) (* 1 (* (tan x) (tan eps)))))) (tan x))
1.2s
(- (+ (+ (/ (* (pow (sin x) 2) (pow (sin eps) 3)) (* (pow (cos x) 2) (* (- 1 (/ (* (pow (sin x) 3) (pow (sin eps) 3)) (* (pow (cos x) 3) (pow (cos eps) 3)))) (pow (cos eps) 3)))) (* (/ (pow (sin eps) 2) (* (- 1 (/ (* (pow (sin x) 3) (pow (sin eps) 3)) (* (pow (cos x) 3) (pow (cos eps) 3)))) (pow (cos eps) 2))) (+ (/ (sin x) (cos x)) (/ (pow (sin x) 3) (pow (cos x) 3))))) (/ (sin x) (* (- 1 (/ (* (pow (sin x) 3) (pow (sin eps) 3)) (* (pow (cos x) 3) (pow (cos eps) 3)))) (cos x)))) (/ (sin x) (cos x)))
826.0ms
(/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (+ (* 1/6 (pow (* eps a) 3)) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))) (- (exp (* b eps)) 1.0)))
580.0ms
(* (+ (sqrt (pow (+ x 1.0) (/ 1.0 n))) (sqrt (pow x (/ 1.0 n)))) (- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (sqrt (pow x (/ 1.0 n)))))
533.0ms
(/ 1.0 (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))

prune38.2s (18.5%)

Filtered
14404 candidates to 9315 candidates (64.7%)

simplify10.4s (5.0%)

Algorithm
197×egg-herbie

rewrite4.3s (2.1%)

Algorithm
125×rewrite-expression-head
Calls

426 calls:

72.0ms
(* (/ 1 (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))) (/ a (/ (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) c)))
52.0ms
(- (* (/ (- (pow (exp x) 3) (pow 2.0 3)) (+ (* 2.0 (+ 2.0 (exp x))) (exp (+ x x)))) (/ (- (pow (exp x) 3) (pow 2.0 3)) (+ (* 2.0 (+ 2.0 (exp x))) (exp (+ x x))))) (* (exp (- x)) (exp (- x))))
41.0ms
(+ (/ (- (pow (exp x) 3) (pow 2.0 3)) (+ (* 2.0 (+ 2.0 (exp x))) (exp (+ x x)))) (exp (- x)))
36.0ms
(* (+ (sqrt (pow (+ x 1.0) (/ 1.0 n))) (sqrt (pow x (/ 1.0 n)))) (+ (- (* 0.25 (+ (/ 1 (* (pow x 2) n)) (/ (log (/ 1 x)) (* (* (cbrt x) (cbrt x)) (* (cbrt x) (pow n 2))))))) (/ (/ 0.5 n) x)))
36.0ms
(* (* (/ 1 (pow N 2)) (- (pow (/ 0.3333333333333333 N) 3) (pow 0.5 3))) N)
Rules
7681×times-frac
6831×*-un-lft-identity
6551×add-sqr-sqrt
4186×add-cube-cbrt
1624×add-exp-log
1597×sqrt-prod
1101×add-cbrt-cube
916×associate-*r*
893×cbrt-prod
869×difference-of-squares
796×add-log-exp
770×pow1
746×unpow-prod-down
722×distribute-lft-out--
696×associate-/l*
665×distribute-lft-out
491×associate-*l*
445×div-exp
419×prod-exp
384×associate-/r*
331×unswap-sqr
313×sqr-pow
297×flip-- flip3--
285×associate-*l/
268×div-inv
259×flip-+ flip3-+
256×associate-/r/
247×log-prod
226×cbrt-undiv
220×unpow2
213×cbrt-div
207×cbrt-unprod
197×associate-*r/
184×frac-times
178×frac-add
171×cube-prod
134×sub-neg
132×diff-log
121×pow-prod-down
113×pow-exp
111×sqrt-div
109×pow-to-exp
107×distribute-rgt-neg-in
95×pow-unpow
83×*-commutative
82×associate-/l/
81×associate-+r+
80×pow1/3
77×sum-log
74×1-exp
71×clear-num frac-2neg
64×frac-sub
59×tan-quot
55×log-pow
51×distribute-rgt-in distribute-lft-in
49×rec-exp
40×+-commutative neg-sub0
38×swap-sqr
36×pow-pow associate-+l+ sqrt-pow1
34×pow1/2
30×rem-sqrt-square
24×exp-neg complex-mul-def distribute-neg-frac
23×log-div
22×associate-+l-
21×exp-diff unpow3 cube-mult div-sub associate--l+
19×pow-sqr pow-prod-up
17×rem-cube-cbrt exp-prod neg-log
15×cube-div associate--l-
14×sin-mult associate--r+
13×cos-mult
11×rem-log-exp
10×distribute-rgt-out-- pow-plus
8×pow2
7×inv-pow pow-flip
6×difference-cubes associate-+r- *.c-commutative
5×un-div-inv distribute-lft-neg-out
4×distribute-neg-in +.c-commutative unsub-neg complex-add-def rem-cbrt-cube
3×distribute-lft-neg-in sqrt-unprod sub-div cube-unmult
2×cos-sum sin-cos-mult associate-+l+.c difference-of-sqr-1 associate-*l*.c sqr-cos tan-sum frac-2neg.c exp-to-pow sin-sum
1×rem-exp-log associate--r- diff-atan diff-cos +-inverses neg-mul-1 diff-sin

regimes3.1s (1.5%)

Accuracy

Total 22.3b remaining (11.3%)

Threshold costs 5.9b (3%)

4.3b81.8%quad2p (problem 3.2.1, positive)
2.8b0%expq3 (problem 3.4.2)
1.9b86%2nthrt (problem 3.4.6)
1.9b92.1%quad2m (problem 3.2.1, negative)
1.8b92.5%quadm (p42, negative)

localize2.1s (1.0%)

bsearch1.2s (0.6%)

end1.0ms (0.0%)