Add acoth Add Pow sqrt Add acoth x0 Add 5 exp acos atanh x1 Add sqrt x0 x0 x0 Pow x0 5 
Add Mul Add Mul Pow sqrt Add acoth x0 Add 5 exp acos atanh x1 Add Add sqrt x0 x0 -1 Add Mul Add sqrt x0 x0 Mul Pow Mul 2 sqrt Add acoth x0 Add 5 exp acos atanh x1 -1 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul sqrt Add acoth x0 Add 5 exp acos atanh x1 log sqrt Add acoth x0 Add 5 exp acos atanh x1 Add Pow Mul 2 sqrt x0 -1 1 1 Pow Add 1 Mul -1 Mul Add Pow sqrt Add acoth x0 Add 5 exp acos atanh x1 Add sqrt x0 x0 x0 Add Pow sqrt Add acoth x0 Add 5 exp acos atanh x1 Add sqrt x0 x0 x0 -1 Mul Pow x0 4 5 