Add Add Pow x0 4 1 Pow x6 Mul Pow x1 atanh sqrt x0 acot Mul -5 sec x0 
Add Mul Pow x0 3 4 Mul Pow x6 Add Mul Pow x1 atanh sqrt x0 acot Mul -5 sec x0 -1 Mul Mul x6 log x6 Add Mul acot Mul -5 sec x0 Mul Pow x1 Add atanh sqrt x0 -1 Mul Mul x1 log x1 Mul Pow Mul 2 sqrt x0 -1 Pow Add 1 Mul -1 Mul sqrt x0 sqrt x0 -1 Mul Pow x1 atanh sqrt x0 Mul -1 Mul Mul -5 Mul tan x0 sec x0 Pow Add 1 Mul Mul -5 sec x0 Mul -5 sec x0 -1 