Mul acsch Add Mul x5 8165619676597685 Mul x0 asinh pi x0 
Add Mul x0 Mul Mul -1 asinh pi Pow Mul Mul Add Mul x5 8165619676597685 Mul x0 asinh pi Add Mul x5 8165619676597685 Mul x0 asinh pi sqrt Add 1 Mul -1 Pow Mul Add Mul x5 8165619676597685 Mul x0 asinh pi Add Mul x5 8165619676597685 Mul x0 asinh pi -1 -1 acsch Add Mul x5 8165619676597685 Mul x0 asinh pi 