Mul atan Pow x7 Pow acoth x1 Mul x0 asin Pow 2 pi Pow Mul -2 x0 2 
Mul Pow Mul -2 x0 2 Mul Mul Pow x7 Add Pow acoth x1 Mul x0 asin Pow 2 pi -1 Mul Mul x7 log x7 Mul Pow acoth x1 Add Mul x0 asin Pow 2 pi -1 Mul Mul acoth x1 log acoth x1 asin Pow 2 pi Pow Add 1 Mul Pow x7 Pow acoth x1 Mul x0 asin Pow 2 pi Pow x7 Pow acoth x1 Mul x0 asin Pow 2 pi -1 