Details

Time bar (total: 13.2s)

sample157.0ms

Algorithm
intervals
Results
109.0ms256×body160valid

simplify4.6s

Counts
1 → 1
Iterations
IterNodes
done5000
43234
3924
2257
181
031

prune26.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize81.0ms

Local error

Found 4 expressions with local error:

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

rewrite4.0ms

Algorithm
rewrite-expression-head
Rules
4×pow1 add-exp-log add-sqr-sqrt expm1-log1p-u add-cube-cbrt *-un-lft-identity add-cbrt-cube fma-udef log1p-expm1-u add-log-exp
Counts
4 → 40
Calls
4 calls:
1.0ms
(fma 5.5 (pow 33096.0 8.0) (fma (pow 33096.0 6.0) 333.75 (/ 77617.0 (* 33096.0 2.0))))
1.0ms
(fma (pow 33096.0 6.0) 333.75 (/ 77617.0 (* 33096.0 2.0)))
1.0ms
(fma -121.0 (pow 33096.0 4.0) (- -2.0 (pow 33096.0 6.0)))
1.0ms
(fma (* 77617.0 (fma (* (* 77617.0 33096.0) (* 77617.0 33096.0)) 11.0 (fma -121.0 (pow 33096.0 4.0) (- -2.0 (pow 33096.0 6.0))))) 77617.0 (fma 5.5 (pow 33096.0 8.0) (fma (pow 33096.0 6.0) 333.75 (/ 77617.0 (* 33096.0 2.0)))))

series0.0ms

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

simplify2.3s

Counts
44 → 44
Iterations
IterNodes
done5006
31012
2241
1104
065

prune526.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 58.1b

simplify13.0ms

Iterations
IterNodes
done28
128
025

end0.0ms

sample5.4s

Algorithm
intervals
Results
5.3s8000×body160valid