Mul x0 Add sin Pow asech x0 acsch acsch E 4 
Add Add sin Pow asech x0 acsch acsch E 4 Mul x0 Mul cos Pow asech x0 acsch acsch E Mul Pow asech x0 Add acsch acsch E -1 Mul acsch acsch E Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 