Add x0 atanh Mul Mul Pow Pow Pow 2 x6 x0 x1 sec x3 x0 
Add 1 Mul Add Mul x0 Mul sec x3 Mul Pow Pow Pow 2 x6 x0 Add x1 -1 Mul x1 Mul Pow Pow 2 x6 Add x0 -1 Mul Pow 2 x6 log Pow 2 x6 Mul Pow Pow Pow 2 x6 x0 x1 sec x3 Pow Add 1 Mul -1 Mul Mul Mul Pow Pow Pow 2 x6 x0 x1 sec x3 x0 Mul Mul Pow Pow Pow 2 x6 x0 x1 sec x3 x0 -1 