Pow acot x0 cbrt tanh acos Add cosh x0 3 
Mul Pow acot x0 Add cbrt tanh acos Add cosh x0 3 -1 Add Mul cbrt tanh acos Add cosh x0 3 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul acot x0 log acot x0 Mul Pow Mul Mul 3 cbrt tanh acos Add cosh x0 3 cbrt tanh acos Add cosh x0 3 -1 Mul Pow sech acos Add cosh x0 3 2 Mul -1 Mul sinh x0 Pow sqrt Add 1 Mul -1 Mul Add cosh x0 3 Add cosh x0 3 -1 