Pow log x4 acos Mul log Add Pow x0 5 x0 cos Pow acoth x6 -3 
Mul Pow log x4 Add acos Mul log Add Pow x0 5 x0 cos Pow acoth x6 -3 -1 Mul Mul log x4 log log x4 Mul -1 Mul Mul cos Pow acoth x6 -3 Mul Add Mul Pow x0 4 5 1 Pow Add Pow x0 5 x0 -1 Pow sqrt Add 1 Mul -1 Mul Mul log Add Pow x0 5 x0 cos Pow acoth x6 -3 Mul log Add Pow x0 5 x0 cos Pow acoth x6 -3 -1 