Details

Time bar (total: 16.2s)

sample45.0ms

Algorithm
intervals
Results
23.0ms290×body80valid

simplify10.9s

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

prune32.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize51.0ms

Local error

Found 1 expressions with local error:

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

rewrite2.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:
1.0ms
(fma (- y 1.0) x (- 0.918938533204673 (* y 0.5)))

series52.0ms

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

simplify3.8s

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

prune232.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0.0b

simplify8.0ms

Iterations
IterNodes
done10
110
09

end0.0ms

sample1.1s

Algorithm
intervals
Results
772.0ms9218×body80valid
1.0ms3×body640valid