Pow acot exp Pow x1 Add Mul Pow Add cosh Mul x0 x0 x2 x3 x7 x0 x0 
Mul Pow acot exp Pow x1 Add Mul Pow Add cosh Mul x0 x0 x2 x3 x7 x0 Add x0 -1 Add Mul x0 Mul -1 Mul Mul exp Pow x1 Add Mul Pow Add cosh Mul x0 x0 x2 x3 x7 x0 Mul Pow x1 Add Add Mul Pow Add cosh Mul x0 x0 x2 x3 x7 x0 -1 Mul Mul x1 log x1 Add Mul x7 Mul Pow Add cosh Mul x0 x0 x2 Add x3 -1 Mul x3 Mul sinh Mul x0 x0 Add x0 x0 1 Pow Add 1 Mul exp Pow x1 Add Mul Pow Add cosh Mul x0 x0 x2 x3 x7 x0 exp Pow x1 Add Mul Pow Add cosh Mul x0 x0 x2 x3 x7 x0 -1 Mul acot exp Pow x1 Add Mul Pow Add cosh Mul x0 x0 x2 x3 x7 x0 log acot exp Pow x1 Add Mul Pow Add cosh Mul x0 x0 x2 x3 x7 x0 