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