Date:Tuesday, February 25th, 2020
Commit:4d1e59da on refactor-and-minor
Hostname:warfa with Racket 7.5
Seed:2020056
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.8%)

Algorithm
56×intervals
16×halfpoints
Results
24.2s66824×body1280valid
17.0s17435×body2560valid
8.1s41858×body640valid
3.7s12670×body10240exit
2.9s94048×body80valid
2.6s20659×body320valid
1.7s63239×body80nan
1.1s10807×body160valid
542.0ms47368×pre80true
298.0ms614×body1280nan
198.0ms625×body640nan
154.0ms435×body5120valid
80.0ms396×body320nan
22.0ms191×body160nan

series36.7s (17.8%)

Calls

420 calls:

609.0ms
(- (pow (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) 3) (pow (cos x) 3))
508.0ms
(/ (* 1.0 (/ (+ x (- 1.0 x)) (+ (sqrt (+ x 1.0)) (sqrt x)))) (* (sqrt x) (sqrt (+ x 1.0))))
507.0ms
(/ (* 1.0 (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))) (* (sqrt x) (sqrt (+ x 1.0))))
497.0ms
(log (* (exp (- (pow x (/ 1.0 n)))) (exp (pow (+ x 1.0) (/ 1.0 n)))))
378.0ms
(* (sqrt (/ 1.0 (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))) (sqrt (/ 1.0 (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))))

prune36.7s (17.7%)

Filtered
14666 candidates to 9182 candidates (62.6%)

simplify10.1s (4.9%)

Algorithm
196×egg-herbie

rewrite7.8s (3.8%)

Algorithm
124×rewrite-expression-head
Calls

420 calls:

241.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (/ 1 (/ (cos eps) (* (tan x) (sin eps)))))) (tan x))
194.0ms
(* (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (log (exp (- (sqrt (exp x)) (sqrt 1.0))))))
182.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
135.0ms
(* (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (+ (sqrt (exp x)) (sqrt 1.0))) (/ (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (- (sqrt (exp x)) (sqrt 1.0))))
134.0ms
(* (sqrt (/ 1.0 (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))) (sqrt (/ 1.0 (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))))
Rules
7115×times-frac
7096×*-un-lft-identity
6714×add-sqr-sqrt
3963×add-cube-cbrt
3203×sqrt-prod
2004×add-exp-log
1265×add-cbrt-cube
1117×difference-of-squares
959×associate-*r*
902×associate-*l*
834×distribute-lft-out
804×add-log-exp
781×distribute-lft-out--
720×pow1
650×div-exp
582×associate-/l*
536×prod-exp
527×unpow-prod-down
502×associate-/r*
384×log-prod
309×flip3-- flip--
298×cbrt-undiv
284×div-inv
280×associate-/r/
269×sqr-pow
263×log-pow
258×unswap-sqr
250×cbrt-unprod
229×exp-prod
221×associate-*l/
219×cube-prod
191×flip-+ flip3-+
154×1-exp
151×sub-neg
148×cbrt-prod
137×diff-log
118×rec-exp
117×sqrt-div
107×associate-/l/
106×pow-unpow
103×unpow2
96×frac-add
95×associate-*r/
93×pow-prod-down frac-times
87×frac-2neg clear-num
76×*-commutative distribute-rgt-neg-in
71×sum-log
66×swap-sqr sqrt-pow1
62×pow-to-exp pow-exp
53×pow1/2
52×log-div
51×cbrt-div
47×associate-+r+
46×associate-+l+
43×distribute-rgt-in distribute-lft-in
42×+-commutative
39×difference-cubes
33×pow-flip pow1/3
30×neg-sub0
29×exp-diff
27×rem-log-exp
26×tan-quot
25×rem-sqrt-square
24×complex-mul-def frac-sub associate--l+
23×div-sub
19×exp-sum
18×inv-pow associate-+l-
17×exp-neg
14×pow-pow un-div-inv associate--l- associate--r+
13×pow-prod-up
12×pow-div
11×neg-log
10×sub-div exp-to-pow
9×unpow3 cube-mult
8×exp-lft-cube sin-mult
7×associate-+r- pow-sqr cos-mult
6×distribute-rgt-out-- *.c-commutative
5×rem-cube-cbrt sqrt-unprod
4×cube-div +.c-commutative complex-add-def
3×rem-exp-log pow2 pow-plus
2×sin-cos-mult associate-+l+.c associate--r- difference-of-sqr-1 unsub-neg associate-*l*.c tan-sum cos-sum frac-2neg.c sin-sum
1×diff-atan diff-cos sqrt-undiv rem-square-sqrt diff-sin

regimes3.1s (1.5%)

Accuracy

Total 23.0b remaining (10.3%)

Threshold costs 6.5b (2.9%)

4.7b82.1%quad2m (problem 3.2.1, negative)
4.6b80.9%quad2p (problem 3.2.1, positive)
1.9b73.8%2tan (problem 3.3.2)
1.6b83.8%2cos (problem 3.3.5)
1.5b82.6%2nthrt (problem 3.4.6)

localize2.0s (1.0%)

bsearch1.1s (0.5%)

end1.0ms (0.0%)