Add csc Add x0 x7 Mul x0 asech Mul x1 Mul x0 acosh x6 
Add Mul Mul -1 cot Add x0 x7 csc Add x0 x7 Add asech Mul x1 Mul x0 acosh x6 Mul x0 Mul Mul x1 acosh x6 Pow Mul Mul Mul x1 Mul x0 acosh x6 Mul x1 Mul x0 acosh x6 sqrt Add 1 Mul -1 Pow Mul Mul x1 Mul x0 acosh x6 Mul x1 Mul x0 acosh x6 -1 -1 