Mul atanh Mul Add atan Mul Mul atanh x0 -2 x4 exp x6 -1 sec x6 
Mul sec x6 Mul Mul -1 Mul Mul x4 Mul -2 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul Mul Mul atanh x0 -2 x4 Mul Mul atanh x0 -2 x4 -1 Pow Add 1 Mul -1 Mul Mul Add atan Mul Mul atanh x0 -2 x4 exp x6 -1 Mul Add atan Mul Mul atanh x0 -2 x4 exp x6 -1 -1 