atan Mul x4 Add Add log Mul acoth x5 x0 x1 Mul x0 Pow acos x5 Pow x0 Mul cbrt sec x0 x2 
Mul Mul x4 Add Mul acoth x5 Pow Mul acoth x5 x0 -1 Add Pow acos x5 Pow x0 Mul cbrt sec x0 x2 Mul x0 Mul Pow acos x5 Add Pow x0 Mul cbrt sec x0 x2 -1 Mul Mul acos x5 log acos x5 Mul Pow x0 Add Mul cbrt sec x0 x2 -1 Add Mul cbrt sec x0 x2 Mul Mul x0 log x0 Mul x2 Mul Pow Mul Mul 3 cbrt sec x0 cbrt sec x0 -1 Mul tan x0 sec x0 Pow Add 1 Mul Mul x4 Add Add log Mul acoth x5 x0 x1 Mul x0 Pow acos x5 Pow x0 Mul cbrt sec x0 x2 Mul x4 Add Add log Mul acoth x5 x0 x1 Mul x0 Pow acos x5 Pow x0 Mul cbrt sec x0 x2 -1 