Mul x0 Pow Pow Mul -5 Mul Add x0 x0 x0 Pow x0 Pow Mul x5 x5 acoth tan x0 Pow x4 atan x0 
Add Pow Pow Mul -5 Mul Add x0 x0 x0 Pow x0 Pow Mul x5 x5 acoth tan x0 Pow x4 atan x0 Mul x0 Mul Pow Pow Mul -5 Mul Add x0 x0 x0 Pow x0 Pow Mul x5 x5 acoth tan x0 Add Pow x4 atan x0 -1 Add Mul Pow x4 atan x0 Mul Pow Mul -5 Mul Add x0 x0 x0 Add Pow x0 Pow Mul x5 x5 acoth tan x0 -1 Add Mul Pow x0 Pow Mul x5 x5 acoth tan x0 Mul -5 Add Mul x0 2 Add x0 x0 Mul Mul Mul -5 Mul Add x0 x0 x0 log Mul -5 Mul Add x0 x0 x0 Mul Pow x0 Add Pow Mul x5 x5 acoth tan x0 -1 Add Pow Mul x5 x5 acoth tan x0 Mul Mul x0 log x0 Mul Pow Mul x5 x5 Add acoth tan x0 -1 Mul Mul Mul x5 x5 log Mul x5 x5 Mul Pow sec x0 2 Pow Add 1 Mul -1 Mul tan x0 tan x0 -1 Mul Mul Pow Mul -5 Mul Add x0 x0 x0 Pow x0 Pow Mul x5 x5 acoth tan x0 log Pow Mul -5 Mul Add x0 x0 x0 Pow x0 Pow Mul x5 x5 acoth tan x0 Mul Pow x4 Add atan x0 -1 Mul Mul x4 log x4 Pow Add 1 Mul x0 x0 -1 