cosh Mul E Add sech Pow acot x1 -1 Pow exp Mul acot x3 x0 x0 
Mul sinh Mul E Add sech Pow acot x1 -1 Pow exp Mul acot x3 x0 x0 Mul E Mul Pow exp Mul acot x3 x0 Add x0 -1 Add Mul x0 Mul exp Mul acot x3 x0 acot x3 Mul exp Mul acot x3 x0 log exp Mul acot x3 x0 