Mul Mul Add Mul sinh asin Mul Add -1 x0 -4 x0 sqrt atan x0 Add -1 Add Pow x6 Add x0 x0 acot x5 x0 
Add Mul x0 Add Mul Add -1 Add Pow x6 Add x0 x0 acot x5 Add Add Mul x0 Mul cosh asin Mul Add -1 x0 -4 Mul -4 Pow sqrt Add 1 Mul -1 Mul Mul Add -1 x0 -4 Mul Add -1 x0 -4 -1 sinh asin Mul Add -1 x0 -4 Mul Pow Mul 2 sqrt atan x0 -1 Pow Add 1 Mul x0 x0 -1 Mul Add Mul sinh asin Mul Add -1 x0 -4 x0 sqrt atan x0 Mul Pow x6 Add Add x0 x0 -1 Mul Mul x6 log x6 2 Mul Add Mul sinh asin Mul Add -1 x0 -4 x0 sqrt atan x0 Add -1 Add Pow x6 Add x0 x0 acot x5 