Pow Mul Mul x0 x0 x1 Mul acoth cos x7 Mul x0 x2 
Mul Pow Mul Mul x0 x0 x1 Add Mul acoth cos x7 Mul x0 x2 -1 Add Mul Mul acoth cos x7 Mul x0 x2 Mul x1 Add x0 x0 Mul Mul Mul Mul x0 x0 x1 log Mul Mul x0 x0 x1 Mul acoth cos x7 x2 