Pow Mul x5 acoth x2 Add Pow 0.500000000000000 Mul x1 Mul 4 Pow x0 tan x0 x0 
Mul Pow Mul x5 acoth x2 Add Add Pow 0.500000000000000 Mul x1 Mul 4 Pow x0 tan x0 x0 -1 Mul Mul Mul x5 acoth x2 log Mul x5 acoth x2 Add Mul Pow 0.500000000000000 Add Mul x1 Mul 4 Pow x0 tan x0 -1 Mul -0.193147180559945 Mul x1 Mul 4 Mul Pow x0 Add tan x0 -1 Add tan x0 Mul Mul x0 log x0 Pow sec x0 2 1 