Add Pow x0 Pow acot pi -3 sqrt Add Add x0 Add asec acsch csch Mul -4 acoth x0 x1 acsch x0 
Add Mul Pow x0 Add Pow acot pi -3 -1 Pow acot pi -3 Mul Pow Mul 2 sqrt Add Add x0 Add asec acsch csch Mul -4 acoth x0 x1 acsch x0 -1 Add Add 1 Mul Mul Mul -1 Mul Mul Mul -1 coth Mul -4 acoth x0 csch Mul -4 acoth x0 Mul -4 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul csch Mul -4 acoth x0 csch Mul -4 acoth x0 sqrt Add 1 Mul -1 Pow Mul csch Mul -4 acoth x0 csch Mul -4 acoth x0 -1 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acsch csch Mul -4 acoth x0 acsch csch Mul -4 acoth x0 -1 acsch csch Mul -4 acoth x0 acsch csch Mul -4 acoth x0 -1 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 