Mul Pow x0 x0 Mul -3 atanh Pow Pow Pow 2 x0 sec Add x6 x0 x3 
Add Mul Mul -3 atanh Pow Pow Pow 2 x0 sec Add x6 x0 x3 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Pow x0 x0 Mul -3 Mul Mul Pow Pow Pow 2 x0 sec Add x6 x0 Add x3 -1 Mul x3 Mul Pow Pow 2 x0 Add sec Add x6 x0 -1 Add Mul sec Add x6 x0 Mul Pow 2 Add x0 -1 2.69314718055995 Mul Mul Pow 2 x0 log Pow 2 x0 Mul tan Add x6 x0 sec Add x6 x0 Pow Add 1 Mul -1 Mul Pow Pow Pow 2 x0 sec Add x6 x0 x3 Pow Pow Pow 2 x0 sec Add x6 x0 x3 -1 