Mul Mul asech asinh x0 Add Mul log asin x0 Pow x0 pi 1 x3 
Mul x3 Add Mul Add Mul log asin x0 Pow x0 pi 1 Mul Pow sqrt Add 1 Mul x0 x0 -1 Pow Mul Mul asinh x0 asinh x0 sqrt Add 1 Mul -1 Pow Mul asinh x0 asinh x0 -1 -1 Mul asech asinh x0 Add Mul Pow x0 pi Mul Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow asin x0 -1 Mul log asin x0 Mul Pow x0 Add pi -1 pi 