Details

Time bar (total: 30.7s)

sample75.0ms

Algorithm
intervals
Results
61.0ms256×body80valid

simplify2.8s

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

prune15.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 4 expressions with local error:

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

rewrite85.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 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 → 218
Calls
4 calls:
15.0ms
(/ 2 (+ 1 t))
14.0ms
(/ 2 (+ 1 t))
27.0ms
(- 2 (/ 2 (+ 1 t)))
17.0ms
(- 2 (/ 2 (+ 1 t)))

series119.0ms

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

simplify3.9s

Counts
230 → 230
Iterations
IterNodes
33925
21373
1538
0211

prune2.3s

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize32.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (sqrt 2) (/ (+ 1 t) (sqrt 2)))
0.7b
(/ (+ 1 t) (sqrt 2))
3.2b
(- 2 (/ (sqrt 2) (/ (+ 1 t) (sqrt 2))))
3.4b
(- 2 (/ 2 (+ 1 t)))

rewrite102.0ms

Algorithm
rewrite-expression-head
Rules
1343×times-frac
1178×*-un-lft-identity
873×add-sqr-sqrt
842×add-cube-cbrt
659×sqrt-prod
573×prod-diff
166×distribute-lft-out
34×associate-/r* div-inv
11×add-cbrt-cube add-exp-log associate-/r/
10×associate-/l*
9×difference-of-squares
8×add-log-exp
6×fma-neg
4×expm1-log1p-u pow1 cbrt-undiv flip3-+ div-exp flip-+ log1p-expm1-u
3×distribute-lft-out--
2×clear-num sub-neg frac-2neg flip3-- diff-log flip-- associate-/l/
1×distribute-rgt-out--
Counts
4 → 889
Calls
4 calls:
11.0ms
(/ (sqrt 2) (/ (+ 1 t) (sqrt 2)))
14.0ms
(/ (+ 1 t) (sqrt 2))
24.0ms
(- 2 (/ (sqrt 2) (/ (+ 1 t) (sqrt 2))))
14.0ms
(- 2 (/ 2 (+ 1 t)))

series258.0ms

Counts
4 → 12
Calls
4 calls:
75.0ms
(/ (sqrt 2) (/ (+ 1 t) (sqrt 2)))
76.0ms
(/ (+ 1 t) (sqrt 2))
85.0ms
(- 2 (/ (sqrt 2) (/ (+ 1 t) (sqrt 2))))
21.0ms
(- 2 (/ 2 (+ 1 t)))

simplify5.0s

Counts
901 → 901
Iterations
IterNodes
13170
01134

prune14.2s

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify5.0ms

Iterations
IterNodes
214
114
013

end0.0ms

sample1.7s

Algorithm
intervals
Results
1.5s8000×body80valid