Pow exp Mul sinh exp Pow acot x2 Mul sech x0 -1 x0 x0 
Mul Pow exp Mul sinh exp Pow acot x2 Mul sech x0 -1 x0 Add x0 -1 Add Mul x0 Mul exp Mul sinh exp Pow acot x2 Mul sech x0 -1 x0 Add Mul x0 Mul cosh exp Pow acot x2 Mul sech x0 -1 Mul exp Pow acot x2 Mul sech x0 -1 Mul Pow acot x2 Add Mul sech x0 -1 -1 Mul Mul acot x2 log acot x2 Mul -1 Mul tanh x0 Mul -1 sech x0 sinh exp Pow acot x2 Mul sech x0 -1 Mul exp Mul sinh exp Pow acot x2 Mul sech x0 -1 x0 log exp Mul sinh exp Pow acot x2 Mul sech x0 -1 x0 