Mul x0 Add Add Pow x0 cot acot asin acot Add E -4 log x2 Mul Mul Mul 5 x0 x0 Mul x1 cosh E 
Add Add Add Pow x0 cot acot asin acot Add E -4 log x2 Mul Mul Mul 5 x0 x0 Mul x1 cosh E Mul x0 Add Mul Pow x0 Add cot acot asin acot Add E -4 -1 cot acot asin acot Add E -4 Mul Mul x1 cosh E Add Mul x0 5 Mul 5 x0 