Add Mul x0 Add acot Mul 2 Mul asin x0 x0 atan E asec x5 
Add Add acot Mul 2 Mul asin x0 x0 atan E Mul x0 Mul -1 Mul Mul 2 Add Mul x0 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 asin x0 Pow Add 1 Mul Mul 2 Mul asin x0 x0 Mul 2 Mul asin x0 x0 -1 