Mul Pow Mul Mul Add Pow x2 x0 cosh acsch x3 x0 Mul Pow Add 3 x0 cot x2 7 x0 Mul x1 atanh x0 
Add Mul Mul x1 atanh x0 Mul Pow Mul Mul Add Pow x2 x0 cosh acsch x3 x0 Mul Pow Add 3 x0 cot x2 7 Add x0 -1 Add Mul x0 Add Mul Mul Pow Add 3 x0 cot x2 7 Add Mul x0 Mul Pow x2 Add x0 -1 Mul x2 log x2 Add Pow x2 x0 cosh acsch x3 Mul Mul Add Pow x2 x0 cosh acsch x3 x0 Mul 7 Mul Pow Add 3 x0 Add cot x2 -1 cot x2 Mul Mul Mul Add Pow x2 x0 cosh acsch x3 x0 Mul Pow Add 3 x0 cot x2 7 log Mul Mul Add Pow x2 x0 cosh acsch x3 x0 Mul Pow Add 3 x0 cot x2 7 Mul Pow Mul Mul Add Pow x2 x0 cosh acsch x3 x0 Mul Pow Add 3 x0 cot x2 7 x0 Mul x1 Pow Add 1 Mul -1 Mul x0 x0 -1 