Pow x2 Add Pow Pow acsch cbrt Add E pi cosh x0 -4 Add 3 Add Mul x0 -1 Add x0 x0 
Mul Pow x2 Add Add Pow Pow acsch cbrt Add E pi cosh x0 -4 Add 3 Add Mul x0 -1 Add x0 x0 -1 Mul Mul x2 log x2 Add Mul Pow Pow acsch cbrt Add E pi cosh x0 5 Mul -4 Mul Pow acsch cbrt Add E pi Add cosh x0 -1 Mul Mul acsch cbrt Add E pi log acsch cbrt Add E pi sinh x0 1 