Date:Wednesday, March 4th, 2020
Commit:29625745 on findroot
Hostname:warfa with Racket 7.5
Seed:2020064
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 (55.7%)

Algorithm
56×intervals
16×halfpoints
Results
23.2s67788×body1280valid
18.1s17617×body2560valid
7.7s42406×body640valid
4.1s13149×body10240exit
2.8s92166×body80valid
2.4s20656×body320valid
1.8s63844×body80nan
1.3s2225×body1280nan
795.0ms10522×body160valid
746.0ms1878×body640nan
555.0ms47483×pre80true
231.0ms923×body320nan
130.0ms480×body5120valid
65.0ms461×body160nan

series34.4s (17.6%)

Calls

399 calls:

1.8s
(sqrt (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (/ (- (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (sqrt (exp (* 2.0 x)))) (sqrt (sqrt 1.0))))))
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))))
454.0ms
(log (cbrt (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))))
453.0ms
(log (cbrt (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))))

prune31.5s (16.1%)

simplify10.9s (5.6%)

Algorithm
194×egg-herbie

rewrite3.8s (1.9%)

Algorithm
122×rewrite-expression-head
Calls

399 calls:

91.0ms
(sqrt (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (/ (- (sqrt (exp x)) (sqrt 1.0)) (- (sqrt (sqrt (exp (* 2.0 x)))) (sqrt (sqrt 1.0))))))
43.0ms
(+ (/ 1 (pow x 5)) (/ 1 (pow x 3)))
38.0ms
(sqrt (/ (+ (sqrt (exp (* 2.0 x))) (sqrt 1.0)) (/ (- (exp x) 1.0) (- (sqrt (exp (* 2.0 x))) (sqrt 1.0)))))
34.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
29.0ms
(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))
Rules
6646×add-sqr-sqrt
6513×*-un-lft-identity
5739×times-frac
3832×sqrt-prod
2940×add-cube-cbrt
1591×difference-of-squares
1351×add-exp-log
996×distribute-lft-out--
978×add-cbrt-cube
859×distribute-lft-out
754×pow1
747×add-log-exp
725×associate-*r*
644×unpow-prod-down
512×associate-*l*
412×associate-/r*
389×associate-/l*
332×div-exp
316×cbrt-prod
313×log-prod
310×prod-exp
293×exp-prod
291×log-pow
283×sqr-pow
280×flip-- flip3--
261×div-inv
253×unswap-sqr
233×sqrt-pow1
224×associate-/r/
183×cbrt-undiv
176×cbrt-unprod
164×unpow2
160×flip-+ flip3-+
148×sub-neg
145×associate-*l/
141×sqrt-div
133×diff-log
120×exp-sum
107×pow1/2
96×associate-*r/
95×cube-prod
91×associate-/l/ pow-prod-down pow-to-exp pow-exp
89×swap-sqr
81×distribute-rgt-neg-in
80×frac-times
77×pow-unpow
74×frac-2neg clear-num
73×*-commutative
71×frac-add
68×cbrt-div
59×1-exp rec-exp
58×pow-prod-up
56×sum-log
50×distribute-rgt-in distribute-lft-in
41×rem-sqrt-square
38×pow1/3
37×log-div
32×+-commutative
31×associate-+l+
29×rem-log-exp
27×associate--l+
26×pow-sqr
24×complex-mul-def div-sub
23×neg-sub0 frac-sub
19×exp-diff
18×tan-quot
17×pow-flip
16×associate--l-
15×neg-log pow-pow inv-pow
13×associate--r+
11×cube-mult
10×unpow3
9×associate-+l-
8×rem-exp-log sqrt-unprod sin-mult cos-mult
7×pow-plus pow2
6×*.c-commutative exp-to-pow
5×difference-cubes associate-+r+
4×un-div-inv distribute-rgt-out-- pow-sub +.c-commutative pow-neg complex-add-def
3×associate-+r- difference-of-sqr-1 rem-square-sqrt sub-div
2×rem-cube-cbrt associate-+l+.c exp-neg associate-*l*.c cos-sum tan-sum sin-sum
1×sub0-neg diff-atan sin-cos-mult diff-cos unsub-neg distribute-frac-neg sum-cubes rem-cbrt-cube distribute-rgt-neg-out frac-2neg.c diff-sin

regimes3.0s (1.5%)

Accuracy

Total 28.9b remaining (12.6%)

Threshold costs 5.6b (2.4%)

4.2b84.5%quadp (p42, positive)
3.4b86.8%quadm (p42, negative)
3.4b88%quad2m (problem 3.2.1, negative)
3.4b0%expq3 (problem 3.4.2)
3.3b87.8%quad2p (problem 3.2.1, positive)

localize1.9s (1.0%)

bsearch1.1s (0.5%)

end0.0ms (0.0%)