Mul Pow atanh Mul x6 x2 Mul sqrt x0 x2 Pow pi Add x7 acot x0 
Add Mul Pow pi Add x7 acot x0 Mul Pow atanh Mul x6 x2 Add Mul sqrt x0 x2 -1 Mul Mul atanh Mul x6 x2 log atanh Mul x6 x2 Mul x2 Pow Mul 2 sqrt x0 -1 Mul Pow atanh Mul x6 x2 Mul sqrt x0 x2 Mul Pow pi Add Add x7 acot x0 -1 Mul Mul pi log pi Mul -1 Pow Add 1 Mul x0 x0 -1 