Details

Time bar (total: 7.3s)

sample20.0ms

Algorithm
intervals
Results
9.0ms308×body80valid

simplify5.0s

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

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 1 expressions with local error:

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

rewrite1.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 log1p-expm1-u add-log-exp
Counts
1 → 10
Calls
1 calls:
0.0ms
(fma (- y 1.0) x (- 0.918938533204673 (* y 0.5)))

series39.0ms

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

simplify1.2s

Counts
13 → 13
Iterations
IterNodes
done5025
41283
3289
2104
144
025

prune67.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0.0b

simplify1.0ms

Iterations
IterNodes
done10
110
09

end0.0ms

sample989.0ms

Algorithm
intervals
Results
766.0ms9152×body80valid
0.0ms1×body320valid