Mul x5 Pow Pow acos exp Pow x3 x0 exp acoth x0 4 
Mul x5 Mul Pow Pow acos exp Pow x3 x0 exp acoth x0 3 Mul 4 Mul Pow acos exp Pow x3 x0 Add exp acoth x0 -1 Add Mul exp acoth x0 Mul -1 Mul Mul exp Pow x3 x0 Mul Pow x3 Add x0 -1 Mul x3 log x3 Pow sqrt Add 1 Mul -1 Mul exp Pow x3 x0 exp Pow x3 x0 -1 Mul Mul acos exp Pow x3 x0 log acos exp Pow x3 x0 Mul exp acoth x0 Pow Add 1 Mul -1 Mul x0 x0 -1 