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