acoth Add Mul Add x0 pi x0 Mul Mul acot Add x0 x6 x5 E 
Mul Add Add x0 Add x0 pi Mul E Mul x5 Mul -1 Pow Add 1 Mul Add x0 x6 Add x0 x6 -1 Pow Add 1 Mul -1 Mul Add Mul Add x0 pi x0 Mul Mul acot Add x0 x6 x5 E Add Mul Add x0 pi x0 Mul Mul acot Add x0 x6 x5 E -1 