atan Add Pow csch x4 Add x0 x7 Add Add acosh Pow x0 2 x0 cosh Add x2 4 
Mul Add Mul Pow csch x4 Add Add x0 x7 -1 Mul csch x4 log csch x4 Add Mul Mul x0 2 Pow Mul sqrt Add Pow x0 2 -1 sqrt Add 1 Pow x0 2 -1 1 Pow Add 1 Mul Add Pow csch x4 Add x0 x7 Add Add acosh Pow x0 2 x0 cosh Add x2 4 Add Pow csch x4 Add x0 x7 Add Add acosh Pow x0 2 x0 cosh Add x2 4 -1 