Mul Pow x0 x3 Pow exp Add Mul Mul x5 x1 sec coth E -1 x0 
Add Mul Pow exp Add Mul Mul x5 x1 sec coth E -1 x0 Mul Pow x0 Add x3 -1 x3 Mul Pow x0 x3 Mul Pow exp Add Mul Mul x5 x1 sec coth E -1 Add x0 -1 Mul exp Add Mul Mul x5 x1 sec coth E -1 log exp Add Mul Mul x5 x1 sec coth E -1 