Add E Mul Pow x0 x2 Add Add Mul Mul x0 x0 x0 Add Pow x0 4 x0 Add Add Mul acoth acos x3 x0 x0 -2 
Add Mul Add Add Mul Mul x0 x0 x0 Add Pow x0 4 x0 Add Add Mul acoth acos x3 x0 x0 -2 Mul Pow x0 Add x2 -1 x2 Mul Pow x0 x2 Add Add Add Mul x0 Add x0 x0 Mul x0 x0 Add Mul Pow x0 3 4 1 Add acoth acos x3 1 