exp Add 2 Add Add x0 sinh Pow Mul Add Add Pow x0 -2 x0 x0 x0 atanh x1 Pow acot Pow x2 3 x0 
Mul exp Add 2 Add Add x0 sinh Pow Mul Add Add Pow x0 -2 x0 x0 x0 atanh x1 Pow acot Pow x2 3 x0 Add Add 1 Mul cosh Pow Mul Add Add Pow x0 -2 x0 x0 x0 atanh x1 Mul Pow Mul Add Add Pow x0 -2 x0 x0 x0 Add atanh x1 -1 Mul atanh x1 Add Mul x0 Add Add Mul Pow x0 3 -2 1 1 Add Add Pow x0 -2 x0 x0 Mul Pow acot Pow x2 3 Add x0 -1 Mul acot Pow x2 3 log acot Pow x2 3 