Mul Pow x0 Add atanh Mul 4 Add x7 3 x0 Pow x0 acsc x2 
Add Mul Pow x0 acsc x2 Mul Pow x0 Add Add atanh Mul 4 Add x7 3 x0 -1 Add Add atanh Mul 4 Add x7 3 x0 Mul x0 log x0 Mul Pow x0 Add atanh Mul 4 Add x7 3 x0 Mul Pow x0 Add acsc x2 -1 acsc x2 