Pow Mul Mul sqrt atanh coth x4 x4 x7 sqrt x0 
Mul Pow Mul Mul sqrt atanh coth x4 x4 x7 Add sqrt x0 -1 Mul Mul Mul Mul sqrt atanh coth x4 x4 x7 log Mul Mul sqrt atanh coth x4 x4 x7 Pow Mul 2 sqrt x0 -1 