Details

Time bar (total: 24.6s)

sample66.0ms

Algorithm
intervals
Results
16.0ms256×body80valid

simplify8.9s

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

prune27.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize40.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))
4.0b
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))
4.0b
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))

rewrite99.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 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 → 180
Calls
4 calls:
10.0ms
(/ 2.0 (fma 1.0 t 1.0))
13.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))
37.0ms
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))
22.0ms
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))

series366.0ms

Counts
4 → 12
Calls
4 calls:
65.0ms
(/ 2.0 (fma 1.0 t 1.0))
174.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))
60.0ms
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))
67.0ms
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))

simplify3.7s

Counts
192 → 192
Iterations
IterNodes
done5000
21753
1600
0250

prune2.3s

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize62.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma (- 2.0 (/ 2.0 (fma 1.0 t 1.0))) (fma (sqrt 2.0) (sqrt 2.0) (- (/ 2.0 (fma 1.0 t 1.0)))) 2.0)
0.0b
(/ 1.0 (fma (- 2.0 (/ 2.0 (fma 1.0 t 1.0))) (fma (sqrt 2.0) (sqrt 2.0) (- (/ 2.0 (fma 1.0 t 1.0)))) 2.0))
4.0b
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))
35.2b
(fma (sqrt 2.0) (sqrt 2.0) (- (/ 2.0 (fma 1.0 t 1.0))))

rewrite60.0ms

Algorithm
rewrite-expression-head
Rules
52×add-sqr-sqrt
49×*-un-lft-identity
47×add-cube-cbrt
39×prod-diff
37×times-frac
6×add-cbrt-cube add-exp-log add-log-exp
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u div-inv
3×associate-/r* fma-neg associate-/l*
2×fma-udef difference-of-squares
1×cbrt-undiv clear-num sub-neg frac-2neg flip3-- diff-log div-exp flip-- distribute-lft-out--
Counts
4 → 112
Calls
4 calls:
1.0ms
(fma (- 2.0 (/ 2.0 (fma 1.0 t 1.0))) (fma (sqrt 2.0) (sqrt 2.0) (- (/ 2.0 (fma 1.0 t 1.0)))) 2.0)
9.0ms
(/ 1.0 (fma (- 2.0 (/ 2.0 (fma 1.0 t 1.0))) (fma (sqrt 2.0) (sqrt 2.0) (- (/ 2.0 (fma 1.0 t 1.0)))) 2.0))
35.0ms
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))
2.0ms
(fma (sqrt 2.0) (sqrt 2.0) (- (/ 2.0 (fma 1.0 t 1.0))))

series1.1s

Counts
4 → 12
Calls
4 calls:
232.0ms
(fma (- 2.0 (/ 2.0 (fma 1.0 t 1.0))) (fma (sqrt 2.0) (sqrt 2.0) (- (/ 2.0 (fma 1.0 t 1.0)))) 2.0)
697.0ms
(/ 1.0 (fma (- 2.0 (/ 2.0 (fma 1.0 t 1.0))) (fma (sqrt 2.0) (sqrt 2.0) (- (/ 2.0 (fma 1.0 t 1.0)))) 2.0))
87.0ms
(- 2.0 (/ 2.0 (fma 1.0 t 1.0)))
109.0ms
(fma (sqrt 2.0) (sqrt 2.0) (- (/ 2.0 (fma 1.0 t 1.0))))

simplify5.7s

Counts
124 → 124
Iterations
IterNodes
done5002
22379
1763
0307

prune1.2s

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify5.0ms

Iterations
IterNodes
done14
114
012

end0.0ms

sample1.1s

Algorithm
intervals
Results
850.0ms8000×body80valid