Details

Time bar (total: 9.9s)

sample93.0ms

Algorithm
intervals
Results
72.0ms256×body160valid

simplify3.2s

Counts
1 → 1
Iterations
IterNodes
done5000
44284
31003
2262
181
031

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize66.0ms

Local error

Found 3 expressions with local error:

1.0b
(fma (pow 33096.0 8.0) 5.5 (/ (/ 77617.0 33096.0) 2.0))
1.0b
(fma (pow 33096.0 4.0) -121.0 (- -2.0 (pow 33096.0 6.0)))
58.1b
(fma (* 77617.0 77617.0) (fma (* (* 77617.0 33096.0) (* 77617.0 33096.0)) 11.0 (fma (pow 33096.0 4.0) -121.0 (- -2.0 (pow 33096.0 6.0)))) (fma 333.75 (pow 33096.0 6.0) (fma (pow 33096.0 8.0) 5.5 (/ (/ 77617.0 33096.0) 2.0))))

rewrite2.0ms

Algorithm
rewrite-expression-head
Rules
3×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
3 → 30
Calls
3 calls:
0.0ms
(fma (pow 33096.0 8.0) 5.5 (/ (/ 77617.0 33096.0) 2.0))
0.0ms
(fma (pow 33096.0 4.0) -121.0 (- -2.0 (pow 33096.0 6.0)))
1.0ms
(fma (* 77617.0 77617.0) (fma (* (* 77617.0 33096.0) (* 77617.0 33096.0)) 11.0 (fma (pow 33096.0 4.0) -121.0 (- -2.0 (pow 33096.0 6.0)))) (fma 333.75 (pow 33096.0 6.0) (fma (pow 33096.0 8.0) 5.5 (/ (/ 77617.0 33096.0) 2.0))))

series0.0ms

Counts
3 → 3
Calls
3 calls:
0.0ms
(fma (pow 33096.0 8.0) 5.5 (/ (/ 77617.0 33096.0) 2.0))
0.0ms
(fma (pow 33096.0 4.0) -121.0 (- -2.0 (pow 33096.0 6.0)))
0.0ms
(fma (* 77617.0 77617.0) (fma (* (* 77617.0 33096.0) (* 77617.0 33096.0)) 11.0 (fma (pow 33096.0 4.0) -121.0 (- -2.0 (pow 33096.0 6.0)))) (fma 333.75 (pow 33096.0 6.0) (fma (pow 33096.0 8.0) 5.5 (/ (/ 77617.0 33096.0) 2.0))))

simplify2.4s

Counts
33 → 33
Iterations
IterNodes
done5000
3990
2226
191
055

prune259.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 58.1b

simplify13.0ms

Iterations
IterNodes
done26
126
025

end0.0ms

sample3.9s

Algorithm
intervals
Results
3.8s8000×body160valid