Add x0 exp Pow Mul acoth x0 pi Add cosh exp cbrt x0 5 
Add 1 Mul exp Pow Mul acoth x0 pi Add cosh exp cbrt x0 5 Mul Pow Mul acoth x0 pi Add Add cosh exp cbrt x0 5 -1 Add Mul Add cosh exp cbrt x0 5 Mul pi Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Mul acoth x0 pi log Mul acoth x0 pi Mul sinh exp cbrt x0 Mul exp cbrt x0 Pow Mul Mul 3 cbrt x0 cbrt x0 -1 