Mul 4 Pow acsc pi acsch sec Mul x0 pi 
Mul 4 Mul Pow acsc pi Add acsch sec Mul x0 pi -1 Mul Mul acsc pi log acsc pi Mul Mul -1 Mul Mul tan Mul x0 pi sec Mul x0 pi pi Pow Mul Mul sec Mul x0 pi sec Mul x0 pi sqrt Add 1 Mul -1 Pow Mul sec Mul x0 pi sec Mul x0 pi -1 -1 