acot acos Pow exp x2 Mul sec x0 -5 
Mul -1 Mul Mul -1 Mul Mul Pow exp x2 Add Mul sec x0 -5 -1 Mul Mul exp x2 log exp x2 Mul -5 Mul tan x0 sec x0 Pow sqrt Add 1 Mul -1 Mul Pow exp x2 Mul sec x0 -5 Pow exp x2 Mul sec x0 -5 -1 Pow Add 1 Mul acos Pow exp x2 Mul sec x0 -5 acos Pow exp x2 Mul sec x0 -5 -1 