asin acot Mul Mul 4 cosh x0 3 
Mul Mul -1 Mul Mul 3 Mul 4 sinh x0 Pow Add 1 Mul Mul Mul 4 cosh x0 3 Mul Mul 4 cosh x0 3 -1 Pow sqrt Add 1 Mul -1 Mul acot Mul Mul 4 cosh x0 3 acot Mul Mul 4 cosh x0 3 -1 