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