Mul sinh Pow x2 x0 Mul atan Add Add x0 Add -1 x0 Mul x0 acot x0 Add 5 x0 
Add Mul Mul atan Add Add x0 Add -1 x0 Mul x0 acot x0 Add 5 x0 Mul cosh Pow x2 x0 Mul Pow x2 Add x0 -1 Mul x2 log x2 Mul sinh Pow x2 x0 Add Mul Add 5 x0 Mul Add 2 Add acot x0 Mul x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul Add Add x0 Add -1 x0 Mul x0 acot x0 Add Add x0 Add -1 x0 Mul x0 acot x0 -1 atan Add Add x0 Add -1 x0 Mul x0 acot x0 