Mul x1 Mul x6 acos Add Pow asec csch Pow sech Mul acoth x0 x3 x0 2 Add sec x0 x1 
Mul x1 Mul x6 Mul -1 Mul Add Mul asec csch Pow sech Mul acoth x0 x3 x0 Mul 2 Mul Mul Mul Mul -1 coth Pow sech Mul acoth x0 x3 x0 csch Pow sech Mul acoth x0 x3 x0 Mul Pow sech Mul acoth x0 x3 Add x0 -1 Add Mul x0 Mul Mul tanh Mul acoth x0 x3 Mul -1 sech Mul acoth x0 x3 Mul x3 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul sech Mul acoth x0 x3 log sech Mul acoth x0 x3 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul csch Pow sech Mul acoth x0 x3 x0 csch Pow sech Mul acoth x0 x3 x0 -1 csch Pow sech Mul acoth x0 x3 x0 csch Pow sech Mul acoth x0 x3 x0 -1 Mul tan x0 sec x0 Pow sqrt Add 1 Mul -1 Mul Add Pow asec csch Pow sech Mul acoth x0 x3 x0 2 Add sec x0 x1 Add Pow asec csch Pow sech Mul acoth x0 x3 x0 2 Add sec x0 x1 -1 