Add sec x0 Add Mul acot x0 Pow coth x0 atan Pow x0 Add -3 atan x0 tan Mul Mul x0 x1 pi 
Add Mul tan x0 sec x0 Add Add Mul Pow coth x0 atan Pow x0 Add -3 atan x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 Mul Pow coth x0 Add atan Pow x0 Add -3 atan x0 -1 Add Mul atan Pow x0 Add -3 atan x0 Mul -1 Pow csch x0 2 Mul Mul coth x0 log coth x0 Mul Mul Pow x0 Add Add -3 atan x0 -1 Add Add -3 atan x0 Mul Mul x0 log x0 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul Pow x0 Add -3 atan x0 Pow x0 Add -3 atan x0 -1 Mul Pow sec Mul Mul x0 x1 pi 2 Mul pi x1 