Pow cosh Pow Mul acot atan x0 x0 x0 x0 
Mul Pow cosh Pow Mul acot atan x0 x0 x0 Add x0 -1 Add Mul x0 Mul sinh Pow Mul acot atan x0 x0 x0 Mul Pow Mul acot atan x0 x0 Add x0 -1 Add Mul x0 Add Mul x0 Mul -1 Mul Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul atan x0 atan x0 -1 acot atan x0 Mul Mul acot atan x0 x0 log Mul acot atan x0 x0 Mul cosh Pow Mul acot atan x0 x0 x0 log cosh Pow Mul acot atan x0 x0 x0 