Mul x7 Mul Mul atan Mul x7 4 Mul Pow x0 Add Add x0 x0 1 x0 coth Mul x7 cosh x6 
Mul x7 Mul coth Mul x7 cosh x6 Mul atan Mul x7 4 Add Mul x0 Mul Pow x0 Add Add Add x0 x0 1 -1 Add Add Add x0 x0 1 Mul Mul x0 log x0 2 Pow x0 Add Add x0 x0 1 