Pow exp pi Pow cosh Add -4 acsch E Mul x0 Mul Add -5 x6 Mul 5 x0 
Mul Pow exp pi Add Pow cosh Add -4 acsch E Mul x0 Mul Add -5 x6 Mul 5 x0 -1 Mul Mul exp pi log exp pi Mul Pow cosh Add -4 acsch E Add Mul x0 Mul Add -5 x6 Mul 5 x0 -1 Mul Mul cosh Add -4 acsch E log cosh Add -4 acsch E Add Mul Add -5 x6 Mul 5 x0 Mul x0 Mul Add -5 x6 5 