acosh Add Pow acoth Mul x2 x0 x1 0.750000000000000 
Mul Mul Pow acoth Mul x2 x0 Add x1 -1 Mul x1 Mul x2 Pow Add 1 Mul -1 Mul Mul x2 x0 Mul x2 x0 -1 Pow Mul sqrt Add Add Pow acoth Mul x2 x0 x1 0.750000000000000 -1 sqrt Add 1 Add Pow acoth Mul x2 x0 x1 0.750000000000000 -1 