Add asec Mul Mul x0 x2 asinh x5 Mul pi x0 
Add Mul Mul asinh x5 x2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul Mul x0 x2 asinh x5 Mul Mul x0 x2 asinh x5 -1 Mul Mul x0 x2 asinh x5 Mul Mul x0 x2 asinh x5 -1 pi 