Mul Mul Mul x0 -0.642092615934331 x1 acosh sinh asinh x0 
Add Mul acosh sinh asinh x0 Mul x1 -0.642092615934331 Mul Mul Mul x0 -0.642092615934331 x1 Mul Mul cosh asinh x0 Pow sqrt Add 1 Mul x0 x0 -1 Pow Mul sqrt Add sinh asinh x0 -1 sqrt Add 1 sinh asinh x0 -1 