Details

Time bar (total: 8.7s)

sample110.0ms

Algorithm
intervals
Results
90.0ms256×body80valid

simplify3.1s

Counts
1 → 1
Iterations
IterNodes
done5002
61640
5559
4206
384
242
122
012

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize18.0ms

Local error

Found 4 expressions with local error:

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

rewrite64.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:
14.0ms
(/ 2 (+ 1 t))
14.0ms
(/ 2 (+ 1 t))
14.0ms
(- 2 (/ 2 (+ 1 t)))
14.0ms
(- 2 (/ 2 (+ 1 t)))

series89.0ms

Counts
4 → 12
Calls
4 calls:
28.0ms
(/ 2 (+ 1 t))
16.0ms
(/ 2 (+ 1 t))
21.0ms
(- 2 (/ 2 (+ 1 t)))
24.0ms
(- 2 (/ 2 (+ 1 t)))

simplify2.6s

Counts
234 → 234
Iterations
IterNodes
done5001
21671
1567
0213

prune1.0s

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify2.0ms

Iterations
IterNodes
done12
112
09

end0.0ms

sample1.7s

Algorithm
intervals
Results
1.5s8000×body80valid