Mul x0 sec Pow sin asech x0 sech pi 
Add sec Pow sin asech x0 sech pi Mul x0 Mul Mul tan Pow sin asech x0 sech pi sec Pow sin asech x0 sech pi Mul Pow sin asech x0 Add sech pi -1 Mul sech pi Mul cos asech x0 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 