Add Pow 4 Add Mul coth x0 x0 acos Add -1 x5 Mul 4 atanh Add acosh x0 x0 
Add Mul Pow 4 Add Add Mul coth x0 x0 acos Add -1 x5 -1 Mul 5.38629436111989 Add Mul x0 Mul -1 Pow csch x0 2 coth x0 Mul 4 Mul Add Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 1 Pow Add 1 Mul -1 Mul Add acosh x0 x0 Add acosh x0 x0 -1 