Add Pow Pow Mul x0 atan acoth x0 -0.642092615934331 x5 Add -7.08616739573719 x6 
Mul Pow Pow Mul x0 atan acoth x0 -0.642092615934331 Add x5 -1 Mul x5 Mul Pow Mul x0 atan acoth x0 -1.64209261593433 Mul -0.642092615934331 Add atan acoth x0 Mul x0 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul acoth x0 acoth x0 -1 