Add Mul acos Add Mul x0 acoth x5 Mul x4 x0 Mul x0 -1 log x0 
Add Add Mul Mul x0 -1 Mul -1 Mul Add acoth x5 x4 Pow sqrt Add 1 Mul -1 Mul Add Mul x0 acoth x5 Mul x4 x0 Add Mul x0 acoth x5 Mul x4 x0 -1 Mul acos Add Mul x0 acoth x5 Mul x4 x0 -1 Pow x0 -1 