Add acos x4 Pow Pow Add x0 x0 acoth sqrt x2 x0 
Mul Pow Pow Add x0 x0 acoth sqrt x2 Add x0 -1 Add Mul x0 Mul Pow Add x0 x0 Add acoth sqrt x2 -1 Mul acoth sqrt x2 2 Mul Pow Add x0 x0 acoth sqrt x2 log Pow Add x0 x0 acoth sqrt x2 