Pow Pow 2 Mul Pow 4 Pow x6 acoth Add x5 2 2 acosh x0 
Mul Pow Pow 2 Mul Pow 4 Pow x6 acoth Add x5 2 2 Add acosh x0 -1 Mul Mul Pow 2 Mul Pow 4 Pow x6 acoth Add x5 2 2 log Pow 2 Mul Pow 4 Pow x6 acoth Add x5 2 2 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 