Add acot sqrt asech Mul atan sinh x0 2 -0.247466461547263 
Mul -1 Mul Mul Pow Mul 2 sqrt asech Mul atan sinh x0 2 -1 Mul Mul 2 Mul cosh x0 Pow Add 1 Mul sinh x0 sinh x0 -1 Pow Mul Mul Mul atan sinh x0 2 Mul atan sinh x0 2 sqrt Add 1 Mul -1 Pow Mul Mul atan sinh x0 2 Mul atan sinh x0 2 -1 -1 Pow Add 1 Mul sqrt asech Mul atan sinh x0 2 sqrt asech Mul atan sinh x0 2 -1 