Add x0 Pow tan Mul Mul x0 acos acosh Add pi x1 x0 x0 
Add 1 Mul Pow tan Mul Mul x0 acos acosh Add pi x1 x0 Add x0 -1 Add Mul x0 Mul Pow sec Mul Mul x0 acos acosh Add pi x1 x0 2 Add Mul x0 acos acosh Add pi x1 Mul x0 acos acosh Add pi x1 Mul tan Mul Mul x0 acos acosh Add pi x1 x0 log tan Mul Mul x0 acos acosh Add pi x1 x0 