Details

Time bar (total: 14.1s)

sample26.0ms

Algorithm
intervals
Results
9.0ms295×body80valid

simplify9.5s

Counts
1 → 1
Iterations
IterNodes
done5000
154748
144392
134053
123703
113395
102737
91813
81144
7777
6542
5359
4210
3103
248
120
010

prune18.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize34.0ms

Local error

Found 1 expressions with local error:

0.0b
(fma (- y 1.0) x (- 0.918938533204673 (* y 0.5)))

rewrite4.0ms

Algorithm
rewrite-expression-head
Rules
1×add-sqr-sqrt expm1-log1p-u pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt fma-udef insert-posit16 log1p-expm1-u add-log-exp
Counts
1 → 11
Calls
1 calls:
2.0ms
(fma (- y 1.0) x (- 0.918938533204673 (* y 0.5)))

series68.0ms

Counts
1 → 3
Calls
1 calls:
68.0ms
(fma (- y 1.0) x (- 0.918938533204673 (* y 0.5)))

simplify3.4s

Counts
14 → 14
Iterations
IterNodes
done5002
41503
3304
2105
145
026

prune166.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0.0b

simplify3.0ms

Iterations
IterNodes
done10
110
09

end0.0ms

sample884.0ms

Algorithm
intervals
Results
528.0ms9098×body80valid
0.0ms3×body1280valid
0.0ms2×body640valid
0.0ms3×body320valid