acosh Mul x0 Add E Mul Add x0 x2 Mul x0 asec acoth x1 
Mul Add Add E Mul Add x0 x2 Mul x0 asec acoth x1 Mul x0 Add Mul x0 asec acoth x1 Mul Add x0 x2 asec acoth x1 Pow Mul sqrt Add Mul x0 Add E Mul Add x0 x2 Mul x0 asec acoth x1 -1 sqrt Add 1 Mul x0 Add E Mul Add x0 x2 Mul x0 asec acoth x1 -1 