acosh Add Mul Add x0 -2 Add 0.999329299739067 Mul x1 acot x4 Add x0 x0 
Mul Add Add 0.999329299739067 Mul x1 acot x4 2 Pow Mul sqrt Add Add Mul Add x0 -2 Add 0.999329299739067 Mul x1 acot x4 Add x0 x0 -1 sqrt Add 1 Add Mul Add x0 -2 Add 0.999329299739067 Mul x1 acot x4 Add x0 x0 -1 