acsch Mul x6 Add 8165619676597685 x0 
Mul Mul -1 x6 Pow Mul Mul Mul x6 Add 8165619676597685 x0 Mul x6 Add 8165619676597685 x0 sqrt Add 1 Mul -1 Pow Mul Mul x6 Add 8165619676597685 x0 Mul x6 Add 8165619676597685 x0 -1 -1 