Pow acosh Add x3 x4 Add Mul acot x1 Mul Mul 5 Pow x0 acosh Add -4 x0 x0 asinh x7 
Mul Pow acosh Add x3 x4 Add Add Mul acot x1 Mul Mul 5 Pow x0 acosh Add -4 x0 x0 asinh x7 -1 Mul Mul acosh Add x3 x4 log acosh Add x3 x4 Mul acot x1 Add Mul x0 Mul 5 Mul Pow x0 Add acosh Add -4 x0 -1 Add acosh Add -4 x0 Mul Mul x0 log x0 Pow Mul sqrt Add Add -4 x0 -1 sqrt Add 1 Add -4 x0 -1 Mul 5 Pow x0 acosh Add -4 x0 