sin Pow Mul x0 csc acos Mul x0 acosh x1 4 
Mul cos Pow Mul x0 csc acos Mul x0 acosh x1 4 Mul Pow Mul x0 csc acos Mul x0 acosh x1 3 Mul 4 Add csc acos Mul x0 acosh x1 Mul x0 Mul Mul Mul -1 cot acos Mul x0 acosh x1 csc acos Mul x0 acosh x1 Mul -1 Mul acosh x1 Pow sqrt Add 1 Mul -1 Mul Mul x0 acosh x1 Mul x0 acosh x1 -1 