Add x0 Pow Add Add atan x0 acot Add x0 sqrt x0 -3 sinh Pow x0 x6 
Add 1 Mul Pow Add Add atan x0 acot Add x0 sqrt x0 -3 Add sinh Pow x0 x6 -1 Add Mul sinh Pow x0 x6 Add Pow Add 1 Mul x0 x0 -1 Mul -1 Mul Add 1 Pow Mul 2 sqrt x0 -1 Pow Add 1 Mul Add x0 sqrt x0 Add x0 sqrt x0 -1 Mul Mul Add Add atan x0 acot Add x0 sqrt x0 -3 log Add Add atan x0 acot Add x0 sqrt x0 -3 Mul cosh Pow x0 x6 Mul Pow x0 Add x6 -1 x6 