Pow sqrt cos x1 Mul Pow Add x3 acosh x0 coth x0 Mul -2 Mul sinh x0 1.04719755119660 
Mul Pow sqrt cos x1 Add Mul Pow Add x3 acosh x0 coth x0 Mul -2 Mul sinh x0 1.04719755119660 -1 Mul Mul sqrt cos x1 log sqrt cos x1 Add Mul Mul -2 Mul sinh x0 1.04719755119660 Mul Pow Add x3 acosh x0 Add coth x0 -1 Add Mul coth x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul Add x3 acosh x0 log Add x3 acosh x0 Mul -1 Pow csch x0 2 Mul Pow Add x3 acosh x0 coth x0 Mul -2 Mul 1.04719755119660 cosh x0 