Details

simplify9.2m (51.3%)

sample4.9m (27.5%)

Algorithm
56×intervals
16×halfpoints
Results
1.1m66920×body1280valid
40.5s17373×body2560valid
26.1s42430×body640valid
14.0s12861×body10240exit
12.0s94107×body80valid
8.2s20470×body320valid
7.3s62875×body80nan
2.7s10312×body160valid
2.2s47506×pre80true
738.0ms655×body1280nan
568.0ms450×body5120valid
514.0ms633×body640nan
152.0ms344×body320nan
55.0ms198×body160nan

prune2.9m (16.4%)

series33.1s (3.1%)

Calls

343 calls:

977.0ms
(* (cbrt (/ (log1p (- x)) (log1p x))) (cbrt (/ (log1p (- x)) (log1p x))))
731.0ms
(fma (/ (+ (tan x) (tan eps)) (- (* 1 1) (* (* (tan x) (tan eps)) (* (tan x) (tan eps))))) (+ 1 (* (tan x) (tan eps))) (- (tan x)))
507.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x))
460.0ms
(fma (pow (* (cbrt (+ x 1)) (cbrt (+ x 1))) (/ 1 n)) (pow (cbrt (+ x 1)) (/ 1 n)) (- (pow x (/ 1 n))))
424.0ms
(sqrt (fma (* -4 a) c (* b b)))

rewrite8.5s (0.8%)

Algorithm
113×rewrite-expression-head
Calls

343 calls:

340.0ms
(/ 1 (+ x 1))
229.0ms
(/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
218.0ms
(/ (- x (sin x)) (+ (- (* (* (cbrt x) (cbrt x)) (cbrt x)) (tan x)) (* (tan x) 0)))
180.0ms
(/ (* x (fma (* (* (* x x) 1/45) (* (* x x) 1/45)) (* (* x x) 1/45) 1/27)) (+ (* (* x (* x 1/45)) (* x (* x 1/45))) (- (* 1/3 1/3) (* (* x (* x 1/45)) 1/3))))
168.0ms
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))
Rules
7909×*-un-lft-identity
7851×times-frac
7284×add-sqr-sqrt
5928×add-cube-cbrt
3539×prod-diff
1773×pow1
1737×sqrt-prod
1156×add-exp-log
1007×add-cbrt-cube
710×difference-of-squares
533×distribute-lft-out
516×div-inv
504×pow-prod-up
499×add-log-exp
413×associate-*l*
409×associate-/r*
378×associate-/l*
371×fma-neg
362×associate-/r/
357×distribute-lft-out--
341×pow-prod-down
338×log1p-expm1-u cbrt-prod
336×expm1-log1p-u
335×insert-posit16
326×associate-*r*
272×prod-exp
265×distribute-rgt-neg-in
247×associate-+l+
246×div-exp
243×cbrt-unprod
210×pow-sqr
204×distribute-lft-neg-in
188×unpow-prod-down
182×pow-plus
175×cbrt-undiv
163×flip-+ flip3-+
162×flip3-- flip--
142×log-prod
135×pow2
134×swap-sqr
127×unswap-sqr
98×fma-def
92×sqrt-div
80×tan-quot
78×cbrt-div
77×frac-2neg clear-num
73×sqrt-pow1
71×distribute-rgt-in distribute-lft-in associate-*l/
69×*-commutative
68×neg-mul-1
67×diff-log
65×sqr-pow
62×associate-*r/
61×pow1/2 sub-neg
58×frac-times
57×pow1/3
52×pow-unpow
49×associate-/l/
39×log-pow
33×1-exp rec-exp
30×rem-sqrt-square exp-prod
21×fma-udef
20×pow-flip
19×div-sub
18×sum-log rem-log-exp
17×frac-add
16×+-commutative inv-pow
13×difference-of-sqr-1
12×pow-exp pow-to-exp associate--l+
11×frac-sub sin-mult log-div
10×neg-sub0 associate--l-
9×cube-unmult
8×neg-log
7×cos-mult un-div-inv
6×associate--r+
4×expm1-log1p expm1-udef sqrt-unprod pow-pow
3×log1p-udef pow3 sub-div sqr-sin cos-sum
2×exp-diff sin-sum exp-neg +.c-commutative tan-sum frac-2neg-c exp-to-pow hypot-udef associate-+l- log1p-def hypot-def rem-square-sqrt rem-cbrt-cube
1×remove-posit16 diff-atan distribute-rgt-out-- sin-cos-mult log1p-expm1 log-rec rem-exp-log diff-sin diff-cos expm1-def

localize4.3s (0.4%)

regimes4.2s (0.4%)

Accuracy

Total 25.1b remaining (19.9%)

Threshold costs 4.2b (3.3%)

5.1b81.9%quadm (p42, negative)
4.9b82.6%quad2m (problem 3.2.1, negative)
4.4b84.2%quad2p (problem 3.2.1, positive)
3.5b0%expq3 (problem 3.4.2)
3.0b75.1%2nthrt (problem 3.4.6)

bsearch1.9s (0.2%)

end1.0ms (0.0%)