Mul Mul Add acot Mul sqrt x0 x2 x7 Pow acsch Add Mul x1 x0 -4 tan x0 5 
Mul 5 Add Mul Pow acsch Add Mul x1 x0 -4 tan x0 Mul -1 Mul Mul x2 Pow Mul 2 sqrt x0 -1 Pow Add 1 Mul Mul sqrt x0 x2 Mul sqrt x0 x2 -1 Mul Add acot Mul sqrt x0 x2 x7 Mul Pow acsch Add Mul x1 x0 -4 Add tan x0 -1 Add Mul tan x0 Mul Mul -1 x1 Pow Mul Mul Add Mul x1 x0 -4 Add Mul x1 x0 -4 sqrt Add 1 Mul -1 Pow Mul Add Mul x1 x0 -4 Add Mul x1 x0 -4 -1 -1 Mul Mul acsch Add Mul x1 x0 -4 log acsch Add Mul x1 x0 -4 Pow sec x0 2 