Add Pow x0 x0 Add x0 Add Pow x4 x0 Pow x2 Mul acoth x0 acot sin x3 
Add Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Add 1 Add Mul Pow x4 Add x0 -1 Mul x4 log x4 Mul Pow x2 Add Mul acoth x0 acot sin x3 -1 Mul Mul x2 log x2 Mul acot sin x3 Pow Add 1 Mul -1 Mul x0 x0 -1 