acot tanh Add Pow acosh Add x4 x0 -4 x0 
Mul -1 Mul Mul Pow sech Add Pow acosh Add x4 x0 -4 x0 2 Add Mul Pow acosh Add x4 x0 5 Mul -4 Pow Mul sqrt Add Add x4 x0 -1 sqrt Add 1 Add x4 x0 -1 1 Pow Add 1 Mul tanh Add Pow acosh Add x4 x0 -4 x0 tanh Add Pow acosh Add x4 x0 -4 x0 -1 