Mul Mul Pow atanh x5 Pow x7 Add x0 x0 x5 acsc Add Mul 2 x0 E 
Add Mul acsc Add Mul 2 x0 E Mul x5 Mul Pow atanh x5 Add Pow x7 Add x0 x0 -1 Mul Mul atanh x5 log atanh x5 Mul Pow x7 Add Add x0 x0 -1 Mul Mul x7 log x7 2 Mul Mul Pow atanh x5 Pow x7 Add x0 x0 x5 Mul -1 Mul 2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add Mul 2 x0 E Add Mul 2 x0 E -1 Add Mul 2 x0 E Add Mul 2 x0 E -1 