Add Add Pow Pow atan sinh Mul Pow x0 acoth x4 x0 1.54308063481524 -3 x0 x0 
Add Add Mul Pow Pow atan sinh Mul Pow x0 acoth x4 x0 1.54308063481524 4 Mul -3 Mul Pow atan sinh Mul Pow x0 acoth x4 x0 0.543080634815244 Mul 1.54308063481524 Mul Mul cosh Mul Pow x0 acoth x4 x0 Add Mul x0 Mul Pow x0 Add acoth x4 -1 acoth x4 Pow x0 acoth x4 Pow Add 1 Mul sinh Mul Pow x0 acoth x4 x0 sinh Mul Pow x0 acoth x4 x0 -1 1 1 