Pow Mul Add E -4 Mul x2 cosh Mul x0 sech x0 atanh Add -4 x0 
Mul Pow Mul Add E -4 Mul x2 cosh Mul x0 sech x0 Add atanh Add -4 x0 -1 Add Mul atanh Add -4 x0 Mul Add E -4 Mul x2 Mul sinh Mul x0 sech x0 Add sech x0 Mul x0 Mul tanh x0 Mul -1 sech x0 Mul Mul Mul Add E -4 Mul x2 cosh Mul x0 sech x0 log Mul Add E -4 Mul x2 cosh Mul x0 sech x0 Pow Add 1 Mul -1 Mul Add -4 x0 Add -4 x0 -1 