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