acsc Mul Pow x0 asech sqrt Pow Add 3 x6 E x0 
Mul -1 Mul Add Mul x0 Mul Pow x0 Add asech sqrt Pow Add 3 x6 E -1 asech sqrt Pow Add 3 x6 E Pow x0 asech sqrt Pow Add 3 x6 E Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul Pow x0 asech sqrt Pow Add 3 x6 E x0 Mul Pow x0 asech sqrt Pow Add 3 x6 E x0 -1 Mul Pow x0 asech sqrt Pow Add 3 x6 E x0 Mul Pow x0 asech sqrt Pow Add 3 x6 E x0 -1 