Add Mul x0 -4 Pow Add x0 sec exp asin Add acoth x4 x0 x2 
Add -4 Mul Pow Add x0 sec exp asin Add acoth x4 x0 Add x2 -1 Mul x2 Add 1 Mul Mul tan exp asin Add acoth x4 x0 sec exp asin Add acoth x4 x0 Mul exp asin Add acoth x4 x0 Pow sqrt Add 1 Mul -1 Mul Add acoth x4 x0 Add acoth x4 x0 -1 