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