Pow Mul atan tanh Mul x6 x0 sqrt atanh x0 3 
Mul Pow Mul atan tanh Mul x6 x0 sqrt atanh x0 2 Mul 3 Add Mul sqrt atanh x0 Mul Mul Pow sech Mul x6 x0 2 x6 Pow Add 1 Mul tanh Mul x6 x0 tanh Mul x6 x0 -1 Mul atan tanh Mul x6 x0 Mul Pow Mul 2 sqrt atanh x0 -1 Pow Add 1 Mul -1 Mul x0 x0 -1 