acos Add Add cot tan acosh Pow x7 x2 Mul x0 x0 coth x0 
Mul -1 Mul Add Add x0 x0 Mul -1 Pow csch x0 2 Pow sqrt Add 1 Mul -1 Mul Add Add cot tan acosh Pow x7 x2 Mul x0 x0 coth x0 Add Add cot tan acosh Pow x7 x2 Mul x0 x0 coth x0 -1 