Pow Add Pow x0 Pow acsch csc acoth Pow x4 2 5 acot E atan x0 
Mul Pow Add Pow x0 Pow acsch csc acoth Pow x4 2 5 acot E Add atan x0 -1 Add Mul atan x0 Mul Pow x0 Add Pow acsch csc acoth Pow x4 2 5 -1 Pow acsch csc acoth Pow x4 2 5 Mul Mul Add Pow x0 Pow acsch csc acoth Pow x4 2 5 acot E log Add Pow x0 Pow acsch csc acoth Pow x4 2 5 acot E Pow Add 1 Mul x0 x0 -1 