Details

Time bar (total: 14.8s)

sample25.0ms

Algorithm
intervals
Results
14.0ms256×body80valid

simplify5.2s

Counts
1 → 1
Iterations
IterNodes
done5000
74400
61524
5635
4247
385
238
120
012

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ 2.0 (fma 1.0 t 1.0))
0.0b
(/ 1.0 (fma (- 2.0 (/ 2.0 (fma 1.0 t 1.0))) (- 2.0 (/ 2.0 (fma 1.0 t 1.0))) 2.0))
2.9b
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))
2.9b
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))

rewrite61.0ms

Algorithm
rewrite-expression-head
Rules
100×add-sqr-sqrt
94×*-un-lft-identity
90×add-cube-cbrt
78×prod-diff
74×times-frac
8×add-cbrt-cube add-exp-log div-inv add-log-exp
6×associate-/r* 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 → 176
Calls
4 calls:
7.0ms
(/ 2.0 (fma 1.0 t 1.0))
7.0ms
(/ 1.0 (fma (- 2.0 (/ 2.0 (fma 1.0 t 1.0))) (- 2.0 (/ 2.0 (fma 1.0 t 1.0))) 2.0))
19.0ms
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))
15.0ms
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))

series338.0ms

Counts
4 → 12
Calls
4 calls:
47.0ms
(/ 2.0 (fma 1.0 t 1.0))
167.0ms
(/ 1.0 (fma (- 2.0 (/ 2.0 (fma 1.0 t 1.0))) (- 2.0 (/ 2.0 (fma 1.0 t 1.0))) 2.0))
61.0ms
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))
63.0ms
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))

simplify2.2s

Counts
188 → 188
Iterations
IterNodes
done5000
21746
1596
0247

prune1.2s

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize71.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (exp 2.0) (exp (/ 2.0 (fma 1.0 t 1.0))))
0.0b
(/ 1.0 (fma (log (/ (exp 2.0) (exp (/ 2.0 (fma 1.0 t 1.0))))) (- 2.0 (/ 2.0 (fma 1.0 t 1.0))) 2.0))
2.9b
(log (/ (exp 2.0) (exp (/ 2.0 (fma 1.0 t 1.0)))))
2.9b
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))

rewrite74.0ms

Algorithm
rewrite-expression-head
Rules
68×*-un-lft-identity
67×add-sqr-sqrt
62×add-cube-cbrt
55×times-frac
39×prod-diff
13×log-prod
8×add-cbrt-cube div-inv
7×pow1 add-exp-log
6×exp-prod associate-/r* associate-/l* add-log-exp
4×expm1-log1p-u log1p-expm1-u pow-div
3×fma-neg div-exp log-pow
2×cbrt-undiv clear-num frac-2neg rem-log-exp difference-of-squares
1×log-div sub-neg flip3-- diff-log flip-- distribute-lft-out--
Counts
4 → 147
Calls
4 calls:
15.0ms
(/ (exp 2.0) (exp (/ 2.0 (fma 1.0 t 1.0))))
7.0ms
(/ 1.0 (fma (log (/ (exp 2.0) (exp (/ 2.0 (fma 1.0 t 1.0))))) (- 2.0 (/ 2.0 (fma 1.0 t 1.0))) 2.0))
18.0ms
(log (/ (exp 2.0) (exp (/ 2.0 (fma 1.0 t 1.0)))))
28.0ms
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))

series883.0ms

Counts
4 → 12
Calls
4 calls:
167.0ms
(/ (exp 2.0) (exp (/ 2.0 (fma 1.0 t 1.0))))
393.0ms
(/ 1.0 (fma (log (/ (exp 2.0) (exp (/ 2.0 (fma 1.0 t 1.0))))) (- 2.0 (/ 2.0 (fma 1.0 t 1.0))) 2.0))
263.0ms
(log (/ (exp 2.0) (exp (/ 2.0 (fma 1.0 t 1.0)))))
60.0ms
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))

simplify2.4s

Counts
159 → 159
Iterations
IterNodes
done5000
22039
1733
0316

prune1.2s

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify2.0ms

Iterations
IterNodes
done13
013

end0.0ms

sample1.1s

Algorithm
intervals
Results
936.0ms8000×body80valid