Details

Time bar (total: 7.1s)

sample79.0ms

Algorithm
intervals
Results
41.0ms391×body80valid

simplify2.5s

Counts
1 → 1
Iterations

Useful iterations: 4 (118.0ms)

IterNodesCost
017329
133304
273304
3147304
4405279
51378279
done5000279

prune17.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize36.0ms

Local error

Found 2 expressions with local error:

0.0b
(fma t (/ z 16.0) (fma x y (- c (/ (* a b) 4.0))))
0.0b
(- c (/ (* a b) 4.0))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
21×prod-diff
18×add-sqr-sqrt *-un-lft-identity
16×add-cube-cbrt
9×times-frac
4×add-log-exp
3×fma-neg div-inv
2×expm1-log1p-u pow1 add-cbrt-cube add-exp-log log1p-expm1-u
1×sub-neg flip3-- diff-log fma-udef flip-- distribute-lft-out-- difference-of-squares
Counts
2 → 50
Calls
2 calls:
0.0ms
(fma t (/ z 16.0) (fma x y (- c (/ (* a b) 4.0))))
12.0ms
(- c (/ (* a b) 4.0))

series291.0ms

Counts
2 → 6
Calls
2 calls:
230.0ms
(fma t (/ z 16.0) (fma x y (- c (/ (* a b) 4.0))))
61.0ms
(- c (/ (* a b) 4.0))

simplify1.7s

Counts
56 → 56
Iterations

Useful iterations: done (1.7s)

IterNodesCost
012620786
128418984
2107016195
done500114208

prune388.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0.0b

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
015279
116279
done16279

end0.0ms

sample2.1s

Algorithm
intervals
Results
1.3s12037×body80valid