Add Mul atan Add acos acosh Pow acoth x0 Pow Pow x0 x4 atan tan x0 Mul x0 x0 -3 x0 
Add Mul -3 Mul Add Mul -1 Mul Mul Mul Pow acoth x0 Add Pow Pow x0 x4 atan tan x0 -1 Add Mul Pow Pow x0 x4 atan tan x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul acoth x0 log acoth x0 Mul Pow Pow x0 x4 Add atan tan x0 -1 Add Mul atan tan x0 Mul Pow x0 Add x4 -1 x4 Mul Mul Pow x0 x4 log Pow x0 x4 Mul Pow sec x0 2 Pow Add 1 Mul tan x0 tan x0 -1 Pow Mul sqrt Add Pow acoth x0 Pow Pow x0 x4 atan tan x0 -1 sqrt Add 1 Pow acoth x0 Pow Pow x0 x4 atan tan x0 -1 Pow sqrt Add 1 Mul -1 Mul acosh Pow acoth x0 Pow Pow x0 x4 atan tan x0 acosh Pow acoth x0 Pow Pow x0 x4 atan tan x0 -1 Add x0 x0 Pow Add 1 Mul Add acos acosh Pow acoth x0 Pow Pow x0 x4 atan tan x0 Mul x0 x0 Add acos acosh Pow acoth x0 Pow Pow x0 x4 atan tan x0 Mul x0 x0 -1 1 