Mul Add Add x0 x0 acosh Pow log x0 acoth x5 asinh x0 
Add Mul asinh x0 Add 2 Mul Mul Pow log x0 Add acoth x5 -1 Mul acoth x5 Pow x0 -1 Pow Mul sqrt Add Pow log x0 acoth x5 -1 sqrt Add 1 Pow log x0 acoth x5 -1 Mul Add Add x0 x0 acosh Pow log x0 acoth x5 Pow sqrt Add 1 Mul x0 x0 -1 