Mul Mul Mul asin Mul pi x7 x0 x0 acsch log x0 
Add Mul acsch log x0 Add Mul x0 asin Mul pi x7 Mul asin Mul pi x7 x0 Mul Mul Mul asin Mul pi x7 x0 x0 Mul Mul -1 Pow x0 -1 Pow Mul Mul log x0 log x0 sqrt Add 1 Mul -1 Pow Mul log x0 log x0 -1 -1 