Mul cos Pow acsch x2 acosh exp Add x0 x0 x0 
Add Mul x0 Mul Mul -1 sin Pow acsch x2 acosh exp Add x0 x0 Mul Pow acsch x2 Add acosh exp Add x0 x0 -1 Mul Mul acsch x2 log acsch x2 Mul Mul exp Add x0 x0 2 Pow Mul sqrt Add exp Add x0 x0 -1 sqrt Add 1 exp Add x0 x0 -1 cos Pow acsch x2 acosh exp Add x0 x0 