exp Mul Pow x0 acot Add acoth x0 acos acos exp acos x5 x0 
Mul exp Mul Pow x0 acot Add acoth x0 acos acos exp acos x5 x0 Add Mul x0 Mul Pow x0 Add acot Add acoth x0 acos acos exp acos x5 -1 Add acot Add acoth x0 acos acos exp acos x5 Mul Mul x0 log x0 Mul -1 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul Add acoth x0 acos acos exp acos x5 Add acoth x0 acos acos exp acos x5 -1 Pow x0 acot Add acoth x0 acos acos exp acos x5 