Add Mul x0 Pow acos Add x1 -1 Mul Mul Add x0 cbrt x1 x0 -4 Pow acoth Mul -5 x0 Pow x0 x1 
Add Add Pow acos Add x1 -1 Mul Mul Add x0 cbrt x1 x0 -4 Mul x0 Mul Pow acos Add x1 -1 Add Mul Mul Add x0 cbrt x1 x0 -4 -1 Mul Mul acos Add x1 -1 log acos Add x1 -1 Mul -4 Add x0 Add x0 cbrt x1 Mul Pow acoth Mul -5 x0 Add Pow x0 x1 -1 Add Mul Pow x0 x1 Mul -5 Pow Add 1 Mul -1 Mul Mul -5 x0 Mul -5 x0 -1 Mul Mul acoth Mul -5 x0 log acoth Mul -5 x0 Mul Pow x0 Add x1 -1 x1 