Mul acoth x3 Pow Add acos acot x0 pi Pow x7 Add x0 2 
Mul acoth x3 Mul Pow Add acos acot x0 pi Add Pow x7 Add x0 2 -1 Add Mul Pow x7 Add x0 2 Mul -1 Mul Mul -1 Pow Add 1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul acot x0 acot x0 -1 Mul Mul Add acos acot x0 pi log Add acos acot x0 pi Mul Pow x7 Add Add x0 2 -1 Mul x7 log x7 