Date:Tuesday, February 25th, 2020
Commit:7c13946c on findroot
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 (53.0%)

Algorithm
56×intervals
16×halfpoints
Results
24.6s66824×body1280valid
17.1s17435×body2560valid
8.4s41858×body640valid
3.8s12670×body10240exit
2.9s94048×body80valid
2.8s20659×body320valid
1.7s63239×body80nan
863.0ms10807×body160valid
562.0ms47368×pre80true
303.0ms614×body1280nan
200.0ms625×body640nan
153.0ms435×body5120valid
83.0ms396×body320nan
22.0ms191×body160nan

series37.3s (18.0%)

Calls

417 calls:

594.0ms
(- (pow (- (* (cos x) (cos eps)) (* (sin x) (sin eps))) 3) (pow (cos x) 3))
537.0ms
(/ 1.0 (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))
499.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))))
485.0ms
(log (* (exp (- (pow x (/ 1.0 n)))) (exp (pow (+ x 1.0) (/ 1.0 n)))))

prune35.9s (17.3%)

simplify10.1s (4.9%)

Algorithm
196×egg-herbie

rewrite8.1s (3.9%)

Algorithm
124×rewrite-expression-head
Calls

417 calls:

244.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (/ 1 (/ (cos eps) (* (tan x) (sin eps)))))) (tan x))
214.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))))))
179.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
146.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))))
145.0ms
(* (sqrt (/ 1.0 (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))) (sqrt (/ 1.0 (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))))))
Rules
7027×*-un-lft-identity
6992×times-frac
6600×add-sqr-sqrt
3899×add-cube-cbrt
3312×sqrt-prod
1997×add-exp-log
1258×add-cbrt-cube
1098×difference-of-squares
935×associate-*r*
916×associate-*l*
865×distribute-lft-out
802×add-log-exp
762×distribute-lft-out--
740×pow1
645×div-exp
572×associate-/l*
552×unpow-prod-down
540×prod-exp
507×associate-/r*
339×log-prod
306×flip3-- flip--
292×cbrt-undiv
278×associate-/r/
276×sqr-pow
275×div-inv
258×log-pow
254×cbrt-unprod
250×unswap-sqr
226×associate-*l/
223×cube-prod
214×exp-prod
193×flip-+ flip3-+
156×1-exp
147×sub-neg
133×diff-log sqrt-div
120×rec-exp
116×cbrt-prod
110×unpow2
106×associate-/l/ pow-unpow associate-*r/
101×pow-prod-down
100×frac-times
92×frac-add
87×frac-2neg clear-num
84×distribute-rgt-neg-in
80×sum-log
75×*-commutative
66×swap-sqr
65×pow-to-exp pow-exp sqrt-pow1
55×log-div
52×pow1/2
51×associate-+r+
49×cbrt-div
45×+-commutative
41×associate-+l+
40×distribute-rgt-in distribute-lft-in
39×difference-cubes
33×pow-flip
31×pow1/3 neg-sub0
30×rem-sqrt-square
29×exp-diff
26×tan-quot
25×associate-+l- rem-log-exp
24×complex-mul-def associate--l+
23×div-sub frac-sub
19×exp-sum
18×inv-pow
17×exp-neg
15×associate--r+
14×pow-pow associate--l-
13×pow-prod-up
12×neg-log
10×pow-div associate-+r- exp-to-pow
9×unpow3 un-div-inv sub-div cube-mult
8×exp-lft-cube sin-mult
7×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 unsub-neg pow-plus
2×sin-cos-mult associate-+l+.c associate--r- difference-of-sqr-1 associate-*l*.c tan-sum cos-sum frac-2neg.c sin-sum
1×sum-cubes diff-atan diff-cos sqrt-undiv rem-square-sqrt diff-sin

regimes3.1s (1.5%)

Accuracy

Total 23.0b remaining (10.4%)

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)

localize1.9s (0.9%)

bsearch1.1s (0.5%)

end1.0ms (0.0%)