acoth Pow Mul acos x0 Mul x4 3 tan x3 
Mul Mul Pow Mul acos x0 Mul x4 3 Add tan x3 -1 Mul tan x3 Mul Mul x4 3 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Pow Mul acos x0 Mul x4 3 tan x3 Pow Mul acos x0 Mul x4 3 tan x3 -1 