sqrt Mul acsc Add Add x0 x0 x0 Pow x5 atanh atanh x2 
Mul Pow Mul 2 sqrt Mul acsc Add Add x0 x0 x0 Pow x5 atanh atanh x2 -1 Mul Pow x5 atanh atanh x2 Mul -1 Mul 3 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add Add x0 x0 x0 Add Add x0 x0 x0 -1 Add Add x0 x0 x0 Add Add x0 x0 x0 -1 