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:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
+o rules:numerics

Details

sample1.8m (53.2%)

Algorithm
56×intervals
16×halfpoints
Results
23.5s67788×body1280valid
18.3s17617×body2560valid
7.8s42406×body640valid
4.1s13149×body10240exit
2.8s92166×body80valid
2.4s20656×body320valid
1.8s63844×body80nan
1.3s2225×body1280nan
802.0ms10522×body160valid
770.0ms1878×body640nan
589.0ms47483×pre80true
234.0ms923×body320nan
132.0ms480×body5120valid
70.0ms461×body160nan

prune40.6s (19.6%)

series35.9s (17.3%)

Calls

374 calls:

1.3s
(fma (pow (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (/ 1.0 n)) (pow (cbrt (+ x 1.0)) (/ 1.0 n)) (- (* (pow (cbrt x) (/ 1.0 n)) (pow (* (cbrt x) (cbrt x)) (/ 1.0 n)))))
1.1s
(fma (pow (sqrt x) (/ 1.0 n)) (- (pow (sqrt x) (/ 1.0 n))) (pow (sqrt x) (* 2 (/ 1.0 n))))
1.0s
(fma (pow (sqrt x) (/ 1.0 n)) (- (* (pow (sqrt (sqrt x)) (/ 1.0 n)) (pow (sqrt (sqrt x)) (/ 1.0 n)))) (pow (sqrt x) (* 2 (/ 1.0 n))))
847.0ms
(fma (fma (fma (tan x) (tan eps) 1) (* (tan x) (tan eps)) 1) (/ (+ (tan x) (tan eps)) (- 1 (pow (* (tan x) (tan eps)) 3))) (- (tan x)))
657.0ms
(/ (- (* (/ (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x)))) (/ (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x))))) (* (exp (- x)) (exp (- x)))) (- (/ (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x)))) (exp (- x))))

simplify11.3s (5.4%)

Algorithm
193×egg-herbie

rewrite3.6s (1.7%)

Algorithm
121×rewrite-expression-head
Calls

374 calls:

93.0ms
(* (/ 1 (+ x 1.0)) (/ (/ 1.0 (/ 1 (- 0 1.0))) x))
83.0ms
(/ (- (* (/ (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x)))) (/ (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x))))) (* (exp (- x)) (exp (- x)))) (- (/ (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x)))) (exp (- x))))
54.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
47.0ms
(+ (/ (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x)))) (exp (- x)))
46.0ms
(- (* (/ (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x)))) (/ (- (pow (exp x) 3) (pow 2.0 3)) (fma 2.0 (+ (exp x) 2.0) (exp (+ x x))))) (* (exp (- x)) (exp (- x))))
Rules
9071×*-un-lft-identity
8509×times-frac
8461×add-sqr-sqrt
6343×add-cube-cbrt
3591×prod-diff
1846×sqrt-prod
1222×add-exp-log
882×add-cbrt-cube
835×difference-of-squares
831×unpow-prod-down
727×distribute-lft-out--
714×associate-*r*
698×pow1
682×distribute-lft-out
605×add-log-exp
542×div-inv
537×associate-/l*
456×associate-/r/
448×associate-/r*
426×cbrt-prod
415×fma-neg
414×associate-*l*
371×div-exp
360×expm1-log1p-u
359×log1p-expm1-u
329×distribute-rgt-neg-in
310×sqr-pow
283×log-prod
267×flip-- flip3--
249×distribute-lft-neg-in
248×associate-+l+
216×sqrt-pow1
208×prod-exp
198×cbrt-undiv
187×fma-def
186×unswap-sqr
164×sqrt-div
158×flip-+ flip3-+
156×exp-sum
143×cube-prod
134×log-pow exp-prod
132×unpow2
123×pow1/2
122×cbrt-unprod
108×associate-/l/
102×associate-*l/
97×diff-log
85×sub-neg
83×neg-mul-1
82×swap-sqr
81×frac-2neg associate-*r/ clear-num
79×pow-unpow
77×frac-times
73×pow-exp
72×pow-to-exp
70×pow-prod-down
67×frac-sub
60×1-exp rec-exp cbrt-div
57×pow-prod-up neg-sub0
53×exp-diff
46×exp-neg
43×rem-sqrt-square pow1/3
39×*-commutative
38×tan-quot
37×log-div
34×fma-udef
30×div-sub
28×sum-log
26×pow-pow
25×frac-add
24×complex-mul-def
23×pow-sqr
20×pow-flip
19×+-commutative rem-log-exp
18×inv-pow
17×unpow3 cube-mult
15×associate--l- neg-log
12×associate-+r+
9×rem-cube-cbrt associate--l+
8×un-div-inv sqrt-unprod associate-+l-
7×difference-cubes distribute-rgt-out--
6×*.c-commutative
5×cube-div rem-exp-log pow2 pow-plus
4×pow-div +.c-commutative complex-add-def hypot-def cos-mult associate--r+
3×associate-+r- difference-of-sqr-1 rem-square-sqrt sin-mult
2×associate-+l+.c expm1-def sub-div associate-*l*.c cos-sum tan-sum expm1-udef exp-to-pow sin-sum
1×sin-cos-mult sqrt-pow2 log1p-udef diff-atan log1p-expm1 distribute-neg-in diff-cos expm1-log1p unsub-neg rem-cbrt-cube frac-2neg.c diff-sin

regimes2.8s (1.3%)

Accuracy

Total 28.9b remaining (13.4%)

Threshold costs 5.7b (2.6%)

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

localize2.0s (1.0%)

bsearch932.0ms (0.4%)

end1.0ms (0.0%)