Add Mul -5 x0 Pow x0 Mul atanh x1 Mul cosh x5 Mul x2 Mul Pow E Mul x1 Add Mul -4 pi E -4 
Add -5 Mul Pow x0 Add Mul atanh x1 Mul cosh x5 Mul x2 Mul Pow E Mul x1 Add Mul -4 pi E -4 -1 Mul atanh x1 Mul cosh x5 Mul x2 Mul Pow E Mul x1 Add Mul -4 pi E -4 