Pow Add acot x3 Mul atanh x0 E Mul Add cosh x0 -1 Pow Pow exp Pow sinh x5 x3 x0 x4 
Mul Pow Add acot x3 Mul atanh x0 E Add Mul Add cosh x0 -1 Pow Pow exp Pow sinh x5 x3 x0 x4 -1 Add Mul Mul Add cosh x0 -1 Pow Pow exp Pow sinh x5 x3 x0 x4 Mul E Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Add acot x3 Mul atanh x0 E log Add acot x3 Mul atanh x0 E Add Mul Pow Pow exp Pow sinh x5 x3 x0 x4 sinh x0 Mul Add cosh x0 -1 Mul Pow Pow exp Pow sinh x5 x3 x0 Add x4 -1 Mul x4 Mul Pow exp Pow sinh x5 x3 Add x0 -1 Mul exp Pow sinh x5 x3 log exp Pow sinh x5 x3 