csc acoth Pow Add atan x0 Pow x1 4 log x0 
Mul Mul Mul -1 cot acoth Pow Add atan x0 Pow x1 4 log x0 csc acoth Pow Add atan x0 Pow x1 4 log x0 Mul Mul Pow Add atan x0 Pow x1 4 Add log x0 -1 Add Mul log x0 Pow Add 1 Mul x0 x0 -1 Mul Mul Add atan x0 Pow x1 4 log Add atan x0 Pow x1 4 Pow x0 -1 Pow Add 1 Mul -1 Mul Pow Add atan x0 Pow x1 4 log x0 Pow Add atan x0 Pow x1 4 log x0 -1 