asec Mul Pow x0 csc x3 asech x4 
Mul Mul asech x4 Mul Pow x0 Add csc x3 -1 csc x3 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul Pow x0 csc x3 asech x4 Mul Pow x0 csc x3 asech x4 -1 Mul Pow x0 csc x3 asech x4 Mul Pow x0 csc x3 asech x4 -1 