atan Pow Mul x0 atanh tanh Pow E x0 acosh x4 
Mul Mul Pow Mul x0 atanh tanh Pow E x0 Add acosh x4 -1 Mul acosh x4 Add atanh tanh Pow E x0 Mul x0 Mul Mul Pow sech Pow E x0 2 Mul Pow E Add x0 -1 Mul E log E Pow Add 1 Mul -1 Mul tanh Pow E x0 tanh Pow E x0 -1 Pow Add 1 Mul Pow Mul x0 atanh tanh Pow E x0 acosh x4 Pow Mul x0 atanh tanh Pow E x0 acosh x4 -1 