Mul x5 atan Add x0 Pow Add 2.18503986326152 Pow Mul x3 x0 acoth log pi Pow x6 -2 
Mul x5 Mul Add 1 Mul Pow Add 2.18503986326152 Pow Mul x3 x0 acoth log pi Add Pow x6 -2 -1 Mul Pow x6 -2 Mul Pow Mul x3 x0 Add acoth log pi -1 Mul acoth log pi x3 Pow Add 1 Mul Add x0 Pow Add 2.18503986326152 Pow Mul x3 x0 acoth log pi Pow x6 -2 Add x0 Pow Add 2.18503986326152 Pow Mul x3 x0 acoth log pi Pow x6 -2 -1 