Date:Wednesday, April 22nd, 2020
Commit:1c116713 on better-rr
Hostname:warfa with Racket 7.5
Seed:2020113
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:better-rrreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

prune11.2m (61.8%)

Filtered
353954 candidates to 149407 candidates (42.2%)

simplify2.4m (13.1%)

Algorithm
195×egg-herbie

sample1.8m (10.1%)

Algorithm
55×intervals
16×halfpoints
Results
23.6s66291×body1280valid
17.6s16947×body2560valid
7.7s40247×body640valid
4.2s12926×body10240exit
2.8s88821×body80valid
2.4s20140×body320valid
1.7s56172×body80nan
1.4s2330×body1280nan
848.0ms10684×body160valid
788.0ms1872×body640nan
589.0ms47493×pre80true
233.0ms920×body320nan
124.0ms376×body5120valid
69.0ms474×body160nan

rewrite1.7m (9.5%)

Algorithm
124×rewrite-expression-head
Calls

406 calls:

10.7s
(- (/ (- (log 1.0) (* 1/2 (/ (pow x 2) (pow 1.0 2)))) (- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2))))) (/ (* 1.0 x) (- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2))))))
5.5s
(/ (* (sqrt 1.0) (/ 1.0 (pow (sqrt 1.0) 2))) (* (* (/ (sqrt x) (sqrt 1.0)) (/ (sqrt (+ x 1.0)) (sqrt 1.0))) (+ (/ (sqrt (+ x 1.0)) (sqrt 1.0)) (/ (sqrt x) (sqrt 1.0)))))
4.6s
(- (* (/ (sqrt (+ x 1.0)) (sqrt 1.0)) (/ (sqrt (+ x 1.0)) (sqrt 1.0))) (* (/ (sqrt x) (sqrt 1.0)) (/ (sqrt x) (sqrt 1.0))))
1.7s
(* (* (/ (sqrt x) (sqrt 1.0)) (/ (sqrt (+ x 1.0)) (sqrt 1.0))) (+ (/ (sqrt (+ x 1.0)) (sqrt 1.0)) (/ (sqrt x) (sqrt 1.0))))
1.6s
(/ (+ (* x (- (* (/ 1.0 (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) x) (* (cbrt (+ x 1.0)) 2.0))) (+ (* (- 1.0) (- (* (/ 1.0 (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) x) (* (cbrt (+ x 1.0)) 2.0))) (* (* (cbrt (+ x 1.0)) x) 1.0))) (* (cbrt (+ x 1.0)) (* x (- x 1.0))))
Rules
483399×frac-times
442046×sqrt-prod
425001×*-un-lft-identity
419641×associate-/r*
406832×associate-/l*
380096×add-sqr-sqrt
290345×add-cube-cbrt
218275×frac-add
167447×associate-*l/
148411×frac-sub
113839×times-frac
85340×associate-/r/
74200×cbrt-div
72468×associate-*r/
69669×associate-/l/
66241×flip-+ flip3-+
64937×clear-num
63633×frac-2neg
55889×sqrt-div
48069×distribute-lft-out
46658×cbrt-prod
41953×associate-*r*
39277×associate-*l*
23873×distribute-lft-out--
23566×unswap-sqr
17130×swap-sqr
13592×difference-of-squares
7556×unpow-prod-down
3676×sqr-pow
3450×unpow2
3385×pow1
2812×un-div-inv
2772×log-pow
2627×*-commutative
1906×div-inv
1745×add-exp-log
1443×add-cbrt-cube
1331×flip3-- flip--
872×distribute-rgt-neg-in
797×add-log-exp
524×sub-div
499×div-exp
444×prod-exp
427×cbrt-undiv
352×cbrt-unprod
342×log-prod
236×distribute-rgt-out--
222×exp-prod
203×tan-quot
155×pow-unpow
151×pow-prod-down
148×log-div
145×*.c-commutative
143×diff-log
138×associate-*l*.c
135×distribute-lft-neg-in
133×sub-neg
132×pow-exp
125×pow-to-exp
100×distribute-lft-out.c
97×sqrt-pow1
83×+-commutative
80×pow1/3 sum-log
77×distribute-rgt-out
74×unpow3 associate--r+
73×distribute-rgt-in distribute-lft-in
62×associate-+l+
58×associate--l+
55×associate--l-
41×associate-+l-
40×div-sub
39×associate-+r+ log-rec
37×neg-mul-1
36×difference-cubes
33×rem-sqrt-square rem-log-exp
28×pow1/2
26×pow-prod-up pow-sqr
25×complex-mul-def 1-exp rec-exp
24×pow-pow
21×neg-sub0
16×associate--r-
15×sqrt-undiv
14×pow-plus exp-sum
13×associate-+r- neg-log
12×distribute-lft-neg-out pow2
10×pow-flip
9×rem-cube-cbrt
8×exp-diff
7×difference-of-sqr-1 sin-mult
6×sin-cos-mult +.c-commutative unsub-neg remove-double-div
5×sqrt-unprod inv-pow exp-to-pow
4×rem-exp-log associate-+l+.c distribute-rgt-out.c complex-add-def cos-mult tan-sum cos-sum sin-sum
2×exp-neg rem-square-sqrt distribute-neg-frac rem-cbrt-cube
1×distribute-lft1-in diff-atan diff-cos distribute-frac-neg +-inverses diff-sin

series53.8s (4.9%)

Calls

406 calls:

11.2s
(cbrt (- (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (sqrt (pow x (/ 1.0 n)))))
1.6s
(- (* (/ (+ (tan x) (tan eps)) (- 1 (pow (* (tan eps) (tan x)) 3))) (+ (* 1 1) (+ (* (* (tan eps) (tan x)) (* (tan eps) (tan x))) (* 1 (* (tan eps) (tan x)))))) (tan x))
728.0ms
(/ (+ (* (- (* (/ 1.0 (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) x) (* (cbrt (+ x 1.0)) 2.0)) (- x 1.0)) (* (* (cbrt (+ x 1.0)) x) 1.0)) (* (cbrt (+ x 1.0)) (* x (- x 1.0))))
701.0ms
(/ (* (sqrt 1.0) (/ 1.0 (pow (sqrt 1.0) 2))) (* (* (/ (sqrt x) (sqrt 1.0)) (/ (sqrt (+ x 1.0)) (sqrt 1.0))) (+ (/ (sqrt (+ x 1.0)) (sqrt 1.0)) (/ (sqrt x) (sqrt 1.0)))))
695.0ms
(/ (+ (* x (- (* (/ 1.0 (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) x) (* (cbrt (+ x 1.0)) 2.0))) (+ (* (- 1.0) (- (* (/ 1.0 (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) x) (* (cbrt (+ x 1.0)) 2.0))) (* (* (cbrt (+ x 1.0)) x) 1.0))) (* (cbrt (+ x 1.0)) (* x (- x 1.0))))

regimes2.5s (0.2%)

Accuracy

Total 22.5b remaining (18%)

Threshold costs 7.4b (5.9%)

4.7b83.1%quadp (p42, positive)
3.2b0%expq3 (problem 3.4.2)
3.1b88.3%quad2m (problem 3.2.1, negative)
1.7b84.7%2nthrt (problem 3.4.6)
1.3b94.7%quad2p (problem 3.2.1, positive)

localize2.1s (0.2%)

bsearch1.3s (0.1%)

end1.0ms (0.0%)