Mul x0 Pow acos Mul x0 -1 Pow x7 asinh pi 
Add Pow acos Mul x0 -1 Pow x7 asinh pi Mul x0 Mul Pow acos Mul x0 -1 Add Pow x7 asinh pi -1 Mul Pow x7 asinh pi Mul -1 Mul -1 Pow sqrt Add 1 Mul -1 Mul Mul x0 -1 Mul x0 -1 -1 