log Mul Add Mul acoth pi Mul Mul x0 -4 tan x0 x0 x0 
Mul Add Mul x0 Add Mul acoth pi Add Mul tan x0 -4 Mul Mul x0 -4 Pow sec x0 2 1 Add Mul acoth pi Mul Mul x0 -4 tan x0 x0 Pow Mul Add Mul acoth pi Mul Mul x0 -4 tan x0 x0 x0 -1 