Pow Pow Mul acoth Mul Mul x0 x3 acos Add x0 tan x2 x2 x0 x0 
Mul Pow Pow Mul acoth Mul Mul x0 x3 acos Add x0 tan x2 x2 x0 Add x0 -1 Add Mul x0 Mul Pow Mul acoth Mul Mul x0 x3 acos Add x0 tan x2 x2 Add x0 -1 Add Mul x0 Mul x2 Mul Add Mul acos Add x0 tan x2 x3 Mul Mul x0 x3 Mul -1 Pow sqrt Add 1 Mul -1 Mul Add x0 tan x2 Add x0 tan x2 -1 Pow Add 1 Mul -1 Mul Mul Mul x0 x3 acos Add x0 tan x2 Mul Mul x0 x3 acos Add x0 tan x2 -1 Mul Mul acoth Mul Mul x0 x3 acos Add x0 tan x2 x2 log Mul acoth Mul Mul x0 x3 acos Add x0 tan x2 x2 Mul Pow Mul acoth Mul Mul x0 x3 acos Add x0 tan x2 x2 x0 log Pow Mul acoth Mul Mul x0 x3 acos Add x0 tan x2 x2 x0 