Pow sec tanh Pow Add atanh x0 Mul 4 x0 -2 acosh x6 
Mul Pow sec tanh Pow Add atanh x0 Mul 4 x0 -2 Add acosh x6 -1 Mul acosh x6 Mul Mul tan tanh Pow Add atanh x0 Mul 4 x0 -2 sec tanh Pow Add atanh x0 Mul 4 x0 -2 Mul Pow sech Pow Add atanh x0 Mul 4 x0 -2 2 Mul Pow Add atanh x0 Mul 4 x0 3 Mul -2 Add Pow Add 1 Mul -1 Mul x0 x0 -1 4 