Pow Pow Mul -2 Add x0 Mul x4 x0 Mul acot tanh atan Mul x0 cosh x0 csch x4 2 
Mul Pow Mul -2 Add x0 Mul x4 x0 Mul acot tanh atan Mul x0 cosh x0 csch x4 Mul 2 Mul Pow Mul -2 Add x0 Mul x4 x0 Add Mul acot tanh atan Mul x0 cosh x0 csch x4 -1 Add Mul Mul acot tanh atan Mul x0 cosh x0 csch x4 Mul -2 Add 1 x4 Mul Mul Mul -2 Add x0 Mul x4 x0 log Mul -2 Add x0 Mul x4 x0 Mul csch x4 Mul -1 Mul Mul Pow sech atan Mul x0 cosh x0 2 Mul Add cosh x0 Mul x0 sinh x0 Pow Add 1 Mul Mul x0 cosh x0 Mul x0 cosh x0 -1 Pow Add 1 Mul tanh atan Mul x0 cosh x0 tanh atan Mul x0 cosh x0 -1 