Pow x7 Pow acoth acos Pow x0 Pow x0 x5 Add x0 Mul x0 pi 
Mul Pow x7 Add Pow acoth acos Pow x0 Pow x0 x5 Add x0 Mul x0 pi -1 Mul Mul x7 log x7 Mul Pow acoth acos Pow x0 Pow x0 x5 Add Add x0 Mul x0 pi -1 Add Mul Add x0 Mul x0 pi Mul Mul -1 Mul Mul Pow x0 Add Pow x0 x5 -1 Add Pow x0 x5 Mul Mul x0 log x0 Mul Pow x0 Add x5 -1 x5 Pow sqrt Add 1 Mul -1 Mul Pow x0 Pow x0 x5 Pow x0 Pow x0 x5 -1 Pow Add 1 Mul -1 Mul acos Pow x0 Pow x0 x5 acos Pow x0 Pow x0 x5 -1 Mul Mul acoth acos Pow x0 Pow x0 x5 log acoth acos Pow x0 Pow x0 x5 Add 1 pi 