Add Mul Mul x0 -4 acot exp Add Add 5 Pow x0 3 log Mul Pow x0 x1 x0 cosh Mul -4 Mul acoth x6 x0 
Add Add Mul acot exp Add Add 5 Pow x0 3 log Mul Pow x0 x1 x0 -4 Mul Mul x0 -4 Mul -1 Mul Mul exp Add Add 5 Pow x0 3 log Mul Pow x0 x1 x0 Add Mul Pow x0 2 3 Mul Add Mul x0 Mul Pow x0 Add x1 -1 x1 Pow x0 x1 Pow Mul Pow x0 x1 x0 -1 Pow Add 1 Mul exp Add Add 5 Pow x0 3 log Mul Pow x0 x1 x0 exp Add Add 5 Pow x0 3 log Mul Pow x0 x1 x0 -1 Mul sinh Mul -4 Mul acoth x6 x0 Mul -4 acoth x6 