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