Pow Add exp x4 Pow Pow x7 x0 atanh x2 Mul x0 pi 
Mul Pow Add exp x4 Pow Pow x7 x0 atanh x2 Add Mul x0 pi -1 Add Mul Mul x0 pi Mul Pow Pow x7 x0 Add atanh x2 -1 Mul atanh x2 Mul Pow x7 Add x0 -1 Mul x7 log x7 Mul Mul Add exp x4 Pow Pow x7 x0 atanh x2 log Add exp x4 Pow Pow x7 x0 atanh x2 pi 