Pow acsch sqrt Mul x0 2 pi 
Mul Pow acsch sqrt Mul x0 2 Add pi -1 Mul pi Mul Mul -1 Mul Pow Mul 2 sqrt Mul x0 2 -1 2 Pow Mul Mul sqrt Mul x0 2 sqrt Mul x0 2 sqrt Add 1 Mul -1 Pow Mul sqrt Mul x0 2 sqrt Mul x0 2 -1 -1 