csc cos Pow Pow sec atanh x4 acosh x1 x0 
Mul Mul Mul -1 cot cos Pow Pow sec atanh x4 acosh x1 x0 csc cos Pow Pow sec atanh x4 acosh x1 x0 Mul Mul -1 sin Pow Pow sec atanh x4 acosh x1 x0 Mul Pow Pow sec atanh x4 acosh x1 Add x0 -1 Mul Pow sec atanh x4 acosh x1 log Pow sec atanh x4 acosh x1 