Add Pow Pow Add x0 x3 x0 Add x3 Add cosh acosh x0 Add x3 Pow Mul -4 x3 Add 4 x2 1 
Mul Pow Pow Add x0 x3 x0 Add Add x3 Add cosh acosh x0 Add x3 Pow Mul -4 x3 Add 4 x2 -1 Add Mul Add x3 Add cosh acosh x0 Add x3 Pow Mul -4 x3 Add 4 x2 Mul Pow Add x0 x3 Add x0 -1 Add x0 Mul Add x0 x3 log Add x0 x3 Mul Mul Pow Add x0 x3 x0 log Pow Add x0 x3 x0 Mul sinh acosh x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 