log Pow tan asin x0 cosh cos Pow Add 3 x4 acoth x3 
Mul Mul Pow tan asin x0 Add cosh cos Pow Add 3 x4 acoth x3 -1 Mul cosh cos Pow Add 3 x4 acoth x3 Mul Pow sec asin x0 2 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Pow tan asin x0 cosh cos Pow Add 3 x4 acoth x3 -1 