tan Mul Mul Pow cosh x0 -0.999909204262595 acot x0 x0 
Mul Pow sec Mul Mul Pow cosh x0 -0.999909204262595 acot x0 x0 2 Add Mul x0 Add Mul acot x0 Mul Pow cosh x0 -1.99990920426259 Mul -0.999909204262595 sinh x0 Mul Pow cosh x0 -0.999909204262595 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Pow cosh x0 -0.999909204262595 acot x0 