Details

Time bar (total: 6.1s)

sample68.0ms

Algorithm
intervals
Results
51.0ms256×body80valid

simplify1.5s

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

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize35.0ms

Local error

Found 4 expressions with local error:

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

rewrite81.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))
10.0ms
(/ 2 (+ 1 t))
28.0ms
(- 2 (/ 2 (+ 1 t)))
33.0ms
(- 2 (/ 2 (+ 1 t)))

series90.0ms

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

simplify1.5s

Counts
234 → 234
Iterations
IterNodes
done2002
32002
21671
1567
0213

prune994.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify1.0ms

Iterations
IterNodes
done12
112
09

end0.0ms

sample1.9s

Algorithm
intervals
Results
1.7s8000×body80valid