cos Pow Pow x0 x1 acsch tan Mul asinh x7 x6 
Mul Mul -1 sin Pow Pow x0 x1 acsch tan Mul asinh x7 x6 Mul Pow Pow x0 x1 Add acsch tan Mul asinh x7 x6 -1 Mul acsch tan Mul asinh x7 x6 Mul Pow x0 Add x1 -1 x1 