Mul atanh Mul E tan Pow E Add x0 Mul x0 2 3 
Mul 3 Mul Mul E Mul Pow sec Pow E Add x0 Mul x0 2 2 Mul Pow E Add Add x0 Mul x0 2 -1 Mul Mul E log E 3 Pow Add 1 Mul -1 Mul Mul E tan Pow E Add x0 Mul x0 2 Mul E tan Pow E Add x0 Mul x0 2 -1 