Pow x0 Add acot atan acosh Mul asinh Mul x0 16 Add 1 Mul E x7 cosh x5 
Mul Pow x0 Add Add acot atan acosh Mul asinh Mul x0 16 Add 1 Mul E x7 cosh x5 -1 Add Add acot atan acosh Mul asinh Mul x0 16 Add 1 Mul E x7 cosh x5 Mul Mul x0 log x0 Mul -1 Mul Mul Mul Mul Add 1 Mul E x7 Mul 16 Pow sqrt Add 1 Mul Mul x0 16 Mul x0 16 -1 Pow Mul sqrt Add Mul asinh Mul x0 16 Add 1 Mul E x7 -1 sqrt Add 1 Mul asinh Mul x0 16 Add 1 Mul E x7 -1 Pow Add 1 Mul acosh Mul asinh Mul x0 16 Add 1 Mul E x7 acosh Mul asinh Mul x0 16 Add 1 Mul E x7 -1 Pow Add 1 Mul atan acosh Mul asinh Mul x0 16 Add 1 Mul E x7 atan acosh Mul asinh Mul x0 16 Add 1 Mul E x7 -1 