Add Add Pow x1 acosh Add x0 5 Add sech x7 acoth Mul Mul Add -4 x1 Mul x2 x0 4 1 
Add Mul Pow x1 Add acosh Add x0 5 -1 Mul Mul x1 log x1 Pow Mul sqrt Add Add x0 5 -1 sqrt Add 1 Add x0 5 -1 Mul Mul 4 Mul Add -4 x1 x2 Pow Add 1 Mul -1 Mul Mul Mul Add -4 x1 Mul x2 x0 4 Mul Mul Add -4 x1 Mul x2 x0 4 -1 