Add 2 Add x0 acos Add Pow acosh Mul x3 x0 Add E x0 Add -0.989992496600445 x0 
Add 1 Mul -1 Mul Add Mul Pow acosh Mul x3 x0 Add Add E x0 -1 Add Mul Add E x0 Mul x3 Pow Mul sqrt Add Mul x3 x0 -1 sqrt Add 1 Mul x3 x0 -1 Mul acosh Mul x3 x0 log acosh Mul x3 x0 1 Pow sqrt Add 1 Mul -1 Mul Add Pow acosh Mul x3 x0 Add E x0 Add -0.989992496600445 x0 Add Pow acosh Mul x3 x0 Add E x0 Add -0.989992496600445 x0 -1 