Mul Mul x0 Mul x6 cos Mul csch acosh x0 Add sin x1 x0 x0 
Add Mul x0 Add Mul x6 cos Mul csch acosh x0 Add sin x1 x0 Mul x0 Mul x6 Mul Mul -1 sin Mul csch acosh x0 Add sin x1 x0 Add Mul Add sin x1 x0 Mul Mul Mul -1 coth acosh x0 csch acosh x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 csch acosh x0 Mul x0 Mul x6 cos Mul csch acosh x0 Add sin x1 x0 