acosh Add acoth Add Pow x0 2 x7 x5 
Mul Mul Mul x0 2 Pow Add 1 Mul -1 Mul Add Pow x0 2 x7 Add Pow x0 2 x7 -1 Pow Mul sqrt Add Add acoth Add Pow x0 2 x7 x5 -1 sqrt Add 1 Add acoth Add Pow x0 2 x7 x5 -1 