Details

Time bar (total: 11.3s)

sample93.0ms

Algorithm
intervals
Results
79.0ms256×body80valid

simplify2.7s

Counts
1 → 1
Iterations
IterNodes
73118
61310
5503
4199
384
242
122
012

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize43.0ms

Local error

Found 4 expressions with local error:

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

rewrite73.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:
8.0ms
(/ 2 (+ 1 t))
8.0ms
(/ 2 (+ 1 t))
23.0ms
(- 2 (/ 2 (+ 1 t)))
29.0ms
(- 2 (/ 2 (+ 1 t)))

series110.0ms

Counts
4 → 12
Calls
4 calls:
24.0ms
(/ 2 (+ 1 t))
24.0ms
(/ 2 (+ 1 t))
33.0ms
(- 2 (/ 2 (+ 1 t)))
29.0ms
(- 2 (/ 2 (+ 1 t)))

simplify3.9s

Counts
234 → 234
Iterations
IterNodes
33932
21376
1542
0213

prune2.4s

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0.0b

simplify2.0ms

Iterations
IterNodes
212
112
09

end0.0ms

sample2.0s

Algorithm
intervals
Results
1.8s8000×body80valid