Add Add Add x0 sec x1 Pow Mul 2 x0 acsch Pow Mul x0 Mul x0 asec asin x1 x0 2 
Add 1 Mul Pow Mul 2 x0 Add acsch Pow Mul x0 Mul x0 asec asin x1 x0 -1 Add Mul acsch Pow Mul x0 Mul x0 asec asin x1 x0 2 Mul Mul Mul 2 x0 log Mul 2 x0 Mul Mul -1 Mul Pow Mul x0 Mul x0 asec asin x1 Add x0 -1 Add Mul x0 Add Mul x0 asec asin x1 Mul x0 asec asin x1 Mul Mul x0 Mul x0 asec asin x1 log Mul x0 Mul x0 asec asin x1 Pow Mul Mul Pow Mul x0 Mul x0 asec asin x1 x0 Pow Mul x0 Mul x0 asec asin x1 x0 sqrt Add 1 Mul -1 Pow Mul Pow Mul x0 Mul x0 asec asin x1 x0 Pow Mul x0 Mul x0 asec asin x1 x0 -1 -1 