Details

Time bar (total: 5.5s)

sample83.0ms

Algorithm
intervals
Results
54.0ms408×body80valid

simplify1.2s

Counts
1 → 1
Iterations
IterNodes
done2000
81712
71089
6729
5456
4266
3137
269
133
017

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 2 expressions with local error:

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

rewrite8.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 fma-udef insert-posit16 log1p-expm1-u
1×sub-neg flip3-- diff-log associate--l+ flip-- distribute-lft-out-- difference-of-squares
Counts
2 → 53
Calls
2 calls:
0.0ms
(fma (/ t 16.0) z (- (fma y x c) (/ (* a b) 4.0)))
7.0ms
(- (fma y x c) (/ (* a b) 4.0))

series272.0ms

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

simplify659.0ms

Counts
59 → 59
Iterations
IterNodes
done2004
2860
1293
0130

prune357.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0.0b

simplify2.0ms

Iterations
IterNodes
done16
116
015

end0.0ms

sample2.9s

Algorithm
intervals
Results
2.1s11875×body80valid