Pow acot acsch Add -3 Mul x0 x3 pi 
Mul Pow acot acsch Add -3 Mul x0 x3 Add pi -1 Mul pi Mul -1 Mul Mul Mul -1 x3 Pow Mul Mul Add -3 Mul x0 x3 Add -3 Mul x0 x3 sqrt Add 1 Mul -1 Pow Mul Add -3 Mul x0 x3 Add -3 Mul x0 x3 -1 -1 Pow Add 1 Mul acsch Add -3 Mul x0 x3 acsch Add -3 Mul x0 x3 -1 