exp Mul Pow x0 acosh Add Mul x0 asinh x4 4 Add Mul x6 -4 x1 
Mul exp Mul Pow x0 acosh Add Mul x0 asinh x4 4 Add Mul x6 -4 x1 Mul Add Mul x6 -4 x1 Mul Pow x0 Add acosh Add Mul x0 asinh x4 4 -1 Add acosh Add Mul x0 asinh x4 4 Mul Mul x0 log x0 Mul asinh x4 Pow Mul sqrt Add Add Mul x0 asinh x4 4 -1 sqrt Add 1 Add Mul x0 asinh x4 4 -1 