acot Pow Pow x4 Add pi acoth x0 Add Add Pow -1 x1 sec x6 x5 
Mul -1 Mul Mul Pow Pow x4 Add pi acoth x0 Add Add Add Pow -1 x1 sec x6 x5 -1 Mul Add Add Pow -1 x1 sec x6 x5 Mul Pow x4 Add Add pi acoth x0 -1 Mul Mul x4 log x4 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul Pow Pow x4 Add pi acoth x0 Add Add Pow -1 x1 sec x6 x5 Pow Pow x4 Add pi acoth x0 Add Add Pow -1 x1 sec x6 x5 -1 