Pow Pow coth x4 Add asin x0 Add Mul x0 x4 tan x0 4 
Mul Pow Pow coth x4 Add asin x0 Add Mul x0 x4 tan x0 3 Mul 4 Mul Pow coth x4 Add Add asin x0 Add Mul x0 x4 tan x0 -1 Mul Mul coth x4 log coth x4 Add Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Add x4 Pow sec x0 2 