Mul Mul Pow Add Mul x5 x7 Add Pow Pow sqrt x0 x0 Mul acot x0 x4 Add Add x0 x0 -4 5 5 Mul cosh x0 x6 
Add Mul Mul cosh x0 x6 Mul 5 Mul Pow Add Mul x5 x7 Add Pow Pow sqrt x0 x0 Mul acot x0 x4 Add Add x0 x0 -4 4 Mul 5 Add Mul Pow Pow sqrt x0 x0 Add Mul acot x0 x4 -1 Add Mul Mul acot x0 x4 Mul Pow sqrt x0 Add x0 -1 Add Mul x0 Pow Mul 2 sqrt x0 -1 Mul sqrt x0 log sqrt x0 Mul Mul Pow sqrt x0 x0 log Pow sqrt x0 x0 Mul x4 Mul -1 Pow Add 1 Mul x0 x0 -1 2 Mul Mul Pow Add Mul x5 x7 Add Pow Pow sqrt x0 x0 Mul acot x0 x4 Add Add x0 x0 -4 5 5 Mul x6 sinh x0 