Pow x0 Pow Add x2 asech asin x5 Mul x0 2 
Mul Pow x0 Add Pow Add x2 asech asin x5 Mul x0 2 -1 Add Pow Add x2 asech asin x5 Mul x0 2 Mul Mul x0 log x0 Mul Pow Add x2 asech asin x5 Add Mul x0 2 -1 Mul Mul Add x2 asech asin x5 log Add x2 asech asin x5 2 