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