Mul x0 Mul acoth Mul Add atanh Add tanh x0 x0 asec x6 x5 -3 
Add Mul acoth Mul Add atanh Add tanh x0 x0 asec x6 x5 -3 Mul x0 Mul -3 Mul Mul x5 Mul Add Pow sech x0 2 1 Pow Add 1 Mul -1 Mul Add tanh x0 x0 Add tanh x0 x0 -1 Pow Add 1 Mul -1 Mul Mul Add atanh Add tanh x0 x0 asec x6 x5 Mul Add atanh Add tanh x0 x0 asec x6 x5 -1 