Mul x0 Pow sec sqrt Mul tan atanh x0 x2 pi 
Add Pow sec sqrt Mul tan atanh x0 x2 pi Mul x0 Mul Pow sec sqrt Mul tan atanh x0 x2 Add pi -1 Mul pi Mul Mul tan sqrt Mul tan atanh x0 x2 sec sqrt Mul tan atanh x0 x2 Mul Pow Mul 2 sqrt Mul tan atanh x0 x2 -1 Mul x2 Mul Pow sec atanh x0 2 Pow Add 1 Mul -1 Mul x0 x0 -1 