atan Mul Pow x1 Pow Pow Add -2 Pow x0 asinh x2 sinh x3 Mul x0 exp x0 Pow x0 csch x0 
Mul Add Mul Pow x0 csch x0 Mul Pow x1 Add Pow Pow Add -2 Pow x0 asinh x2 sinh x3 Mul x0 exp x0 -1 Mul Mul x1 log x1 Mul Pow Pow Add -2 Pow x0 asinh x2 sinh x3 Add Mul x0 exp x0 -1 Add Mul Mul x0 exp x0 Mul Pow Add -2 Pow x0 asinh x2 Add sinh x3 -1 Mul sinh x3 Mul Pow x0 Add asinh x2 -1 asinh x2 Mul Mul Pow Add -2 Pow x0 asinh x2 sinh x3 log Pow Add -2 Pow x0 asinh x2 sinh x3 Add exp x0 Mul x0 exp x0 Mul Pow x1 Pow Pow Add -2 Pow x0 asinh x2 sinh x3 Mul x0 exp x0 Mul Pow x0 Add csch x0 -1 Add csch x0 Mul Mul x0 log x0 Mul Mul -1 coth x0 csch x0 Pow Add 1 Mul Mul Pow x1 Pow Pow Add -2 Pow x0 asinh x2 sinh x3 Mul x0 exp x0 Pow x0 csch x0 Mul Pow x1 Pow Pow Add -2 Pow x0 asinh x2 sinh x3 Mul x0 exp x0 Pow x0 csch x0 -1 