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