Details

Time bar (total: 11.4s)

sample47.0ms

Algorithm
intervals
Results
31.0ms256×body80valid

simplify3.0s

Counts
1 → 1
Iterations
IterNodes
73118
61313
5501
4196
382
240
120
012

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ 2 (+ 1 t))
0.0b
(/ 2 (+ 1 t))
4.0b
(- 2 (/ 2 (+ 1 t)))
4.0b
(- 2 (/ 2 (+ 1 t)))

rewrite50.0ms

Algorithm
rewrite-expression-head
Rules
164×*-un-lft-identity
118×add-sqr-sqrt
108×prod-diff add-cube-cbrt
98×times-frac
26×distribute-lft-out
16×associate-/r/
8×associate-/r* flip3-+ add-cbrt-cube add-exp-log flip-+ div-inv add-log-exp
6×fma-neg associate-/l*
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u difference-of-squares
2×cbrt-undiv clear-num sub-neg frac-2neg flip3-- diff-log div-exp flip-- distribute-lft-out--
Counts
4 → 222
Calls
4 calls:
7.0ms
(/ 2 (+ 1 t))
7.0ms
(/ 2 (+ 1 t))
14.0ms
(- 2 (/ 2 (+ 1 t)))
17.0ms
(- 2 (/ 2 (+ 1 t)))

series100.0ms

Counts
4 → 12
Calls
4 calls:
26.0ms
(/ 2 (+ 1 t))
25.0ms
(/ 2 (+ 1 t))
22.0ms
(- 2 (/ 2 (+ 1 t)))
26.0ms
(- 2 (/ 2 (+ 1 t)))

simplify3.9s

Counts
234 → 234
Iterations
IterNodes
33906
21377
1540
0213

prune2.2s

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify3.0ms

Iterations
IterNodes
210
110
09

end0.0ms

sample2.2s

Algorithm
intervals
Results
2.0s8000×body80valid