Add x1 tan cosh Pow x1 Add atan x0 Pow acoth x1 x5 
Mul Pow sec cosh Pow x1 Add atan x0 Pow acoth x1 x5 2 Mul sinh Pow x1 Add atan x0 Pow acoth x1 x5 Mul Pow x1 Add Add atan x0 Pow acoth x1 x5 -1 Mul Mul x1 log x1 Pow Add 1 Mul x0 x0 -1 