Mul x5 Add acsch Mul x0 pi Mul asin Add acosh Pow x6 2 x0 x0 
Mul x5 Add Mul Mul -1 pi Pow Mul Mul Mul x0 pi Mul x0 pi sqrt Add 1 Mul -1 Pow Mul Mul x0 pi Mul x0 pi -1 -1 Add Mul x0 Pow sqrt Add 1 Mul -1 Mul Add acosh Pow x6 2 x0 Add acosh Pow x6 2 x0 -1 asin Add acosh Pow x6 2 x0 