atan Pow Mul x5 Add Add Add x0 Pow Mul Add -5 x0 asech tan x0 -2 Mul Pow atan acoth x5 x4 x0 x4 -1 
Mul Mul Pow Mul x5 Add Add Add x0 Pow Mul Add -5 x0 asech tan x0 -2 Mul Pow atan acoth x5 x4 x0 x4 2 Mul -1 Mul x5 Add Add 1 Mul Pow Mul Add -5 x0 asech tan x0 3 Mul -2 Add asech tan x0 Mul Add -5 x0 Mul Pow sec x0 2 Pow Mul Mul tan x0 tan x0 sqrt Add 1 Mul -1 Pow Mul tan x0 tan x0 -1 -1 Pow atan acoth x5 x4 Pow Add 1 Mul Pow Mul x5 Add Add Add x0 Pow Mul Add -5 x0 asech tan x0 -2 Mul Pow atan acoth x5 x4 x0 x4 -1 Pow Mul x5 Add Add Add x0 Pow Mul Add -5 x0 asech tan x0 -2 Mul Pow atan acoth x5 x4 x0 x4 -1 -1 