Mul Pow x0 Mul acosh x3 csch Add coth Add Add 9 E x0 x0 Mul Mul x0 x0 x6 
Add Mul Mul Mul x0 x0 x6 Mul Pow x0 Add Mul acosh x3 csch Add coth Add Add 9 E x0 x0 -1 Add Mul acosh x3 csch Add coth Add Add 9 E x0 x0 Mul Mul x0 log x0 Mul acosh x3 Mul Mul Mul -1 coth Add coth Add Add 9 E x0 x0 csch Add coth Add Add 9 E x0 x0 Add Mul -1 Pow csch Add Add 9 E x0 2 1 Mul Pow x0 Mul acosh x3 csch Add coth Add Add 9 E x0 x0 Mul x6 Add x0 x0 