Mul Mul Mul 0.457657554360286 x0 x0 acoth Pow tan x5 Mul x7 x0 
Add Mul acoth Pow tan x5 Mul x7 x0 Add Mul x0 0.457657554360286 Mul 0.457657554360286 x0 Mul Mul Mul 0.457657554360286 x0 x0 Mul Mul Pow tan x5 Add Mul x7 x0 -1 Mul Mul tan x5 log tan x5 x7 Pow Add 1 Mul -1 Mul Pow tan x5 Mul x7 x0 Pow tan x5 Mul x7 x0 -1 