Details

Time bar (total: 6.0s)

sample72.0ms

Algorithm
intervals
Results
53.0ms256×body80valid

simplify618.0ms

Calls
1 calls:
Slowest
618.0ms
(- 1 (/ 1 (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))

prune18.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize25.0ms

Local error

Found 4 expressions with local error:

2.4b
(- 2 (/ 2 (+ 1 t)))
2.4b
(- 2 (/ 2 (+ 1 t)))
0.0b
(/ 1 (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2))
0.0b
(- 1 (/ 1 (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))

rewrite4.0ms

Algorithm
rewrite-expression-head
Rules
5×add-sqr-sqrt pow1 *-un-lft-identity add-exp-log add-cube-cbrt
4×expm1-log1p-u add-cbrt-cube insert-posit16 log1p-expm1-u add-log-exp
3×associate-/r* sub-neg flip3-- flip--
1×rec-exp clear-num frac-2neg div-inv pow-flip inv-pow
Calls
4 calls:
Slowest
1.0ms
(- 1 (/ 1 (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))
1.0ms
(/ 1 (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2))
1.0ms
(- 2 (/ 2 (+ 1 t)))
1.0ms
(- 2 (/ 2 (+ 1 t)))

series202.0ms

Calls
4 calls:
Slowest
82.0ms
(- 1 (/ 1 (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))
71.0ms
(/ 1 (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2))
26.0ms
(- 2 (/ 2 (+ 1 t)))
22.0ms
(- 2 (/ 2 (+ 1 t)))

simplify2.9s

Calls
16 calls:
Slowest
340.0ms
(fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)
320.0ms
(sqrt (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2))
319.0ms
(- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
316.0ms
(cbrt (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2))
311.0ms
(- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))

prune568.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

end0.0ms

sample1.5s

Algorithm
intervals
Results
1.4s8000×body80valid