Pow Pow x0 Pow acoth Mul sinh x6 3 x3 sqrt x0 
Mul Pow Pow x0 Pow acoth Mul sinh x6 3 x3 Add sqrt x0 -1 Add Mul sqrt x0 Mul Pow x0 Add Pow acoth Mul sinh x6 3 x3 -1 Pow acoth Mul sinh x6 3 x3 Mul Mul Pow x0 Pow acoth Mul sinh x6 3 x3 log Pow x0 Pow acoth Mul sinh x6 3 x3 Pow Mul 2 sqrt x0 -1 