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