Pow sqrt Pow Mul acot sinh atan x5 -4 Mul x0 x0 -5 
Mul Pow sqrt Pow Mul acot sinh atan x5 -4 Mul x0 x0 6 Mul -5 Mul Pow Mul 2 sqrt Pow Mul acot sinh atan x5 -4 Mul x0 x0 -1 Mul Pow Mul acot sinh atan x5 -4 Add Mul x0 x0 -1 Mul Mul Mul acot sinh atan x5 -4 log Mul acot sinh atan x5 -4 Add x0 x0 