csc Mul x0 Mul asech acosh x0 x3 
Mul Mul Mul -1 cot Mul x0 Mul asech acosh x0 x3 csc Mul x0 Mul asech acosh x0 x3 Add Mul asech acosh x0 x3 Mul x0 Mul x3 Mul Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Mul Mul acosh x0 acosh x0 sqrt Add 1 Mul -1 Pow Mul acosh x0 acosh x0 -1 -1 