atan Pow x1 Pow Mul sinh x2 Add acot Mul x3 Mul x0 x2 tanh x0 Add x0 x0 
Mul Mul Pow x1 Add Pow Mul sinh x2 Add acot Mul x3 Mul x0 x2 tanh x0 Add x0 x0 -1 Mul Mul x1 log x1 Mul Pow Mul sinh x2 Add acot Mul x3 Mul x0 x2 tanh x0 Add Add x0 x0 -1 Add Mul Add x0 x0 Mul sinh x2 Add Mul -1 Mul Mul x3 x2 Pow Add 1 Mul Mul x3 Mul x0 x2 Mul x3 Mul x0 x2 -1 Pow sech x0 2 Mul Mul Mul sinh x2 Add acot Mul x3 Mul x0 x2 tanh x0 log Mul sinh x2 Add acot Mul x3 Mul x0 x2 tanh x0 2 Pow Add 1 Mul Pow x1 Pow Mul sinh x2 Add acot Mul x3 Mul x0 x2 tanh x0 Add x0 x0 Pow x1 Pow Mul sinh x2 Add acot Mul x3 Mul x0 x2 tanh x0 Add x0 x0 -1 