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