Pow x0 acosh atanh Add Mul 2 x0 exp Add x0 2 
Mul Pow x0 Add acosh atanh Add Mul 2 x0 exp Add x0 2 -1 Add acosh atanh Add Mul 2 x0 exp Add x0 2 Mul Mul x0 log x0 Mul Mul Add 2 exp Add x0 2 Pow Add 1 Mul -1 Mul Add Mul 2 x0 exp Add x0 2 Add Mul 2 x0 exp Add x0 2 -1 Pow Mul sqrt Add atanh Add Mul 2 x0 exp Add x0 2 -1 sqrt Add 1 atanh Add Mul 2 x0 exp Add x0 2 -1 