Add Add -2 Add Add Pow Mul sec Add 3 E x1 Mul Mul x0 x7 5 x0 E acot Mul atanh x0 E 
Add Add Mul Pow Mul sec Add 3 E x1 Add Mul Mul x0 x7 5 -1 Mul Mul Mul sec Add 3 E x1 log Mul sec Add 3 E x1 Mul 5 x7 1 Mul -1 Mul Mul E Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul Mul atanh x0 E Mul atanh x0 E -1 