Mul acos Mul Mul x0 acosh Mul x0 0.292431669561178 x1 E 
Mul E Mul -1 Mul Mul x1 Add acosh Mul x0 0.292431669561178 Mul x0 Mul 0.292431669561178 Pow Mul sqrt Add Mul x0 0.292431669561178 -1 sqrt Add 1 Mul x0 0.292431669561178 -1 Pow sqrt Add 1 Mul -1 Mul Mul Mul x0 acosh Mul x0 0.292431669561178 x1 Mul Mul x0 acosh Mul x0 0.292431669561178 x1 -1 