Mul Pow asec E Pow x0 -3 Mul Add log coth x1 x0 Mul 4 Mul x7 -5 
Add Mul Mul Add log coth x1 x0 Mul 4 Mul x7 -5 Mul Pow asec E Add Pow x0 -3 -1 Mul Mul asec E log asec E Mul Pow x0 4 -3 Mul Pow asec E Pow x0 -3 Mul 4 Mul x7 -5 