Mul acot Add Mul -4 Mul Mul 2 x7 cosh Mul 5 x0 -2 acoth Add Mul x5 Pow x0 Mul x0 Add x0 Add x5 2 x0 
Add Mul acoth Add Mul x5 Pow x0 Mul x0 Add x0 Add x5 2 x0 Mul -1 Mul Mul -4 Mul Mul 2 x7 Mul sinh Mul 5 x0 5 Pow Add 1 Mul Add Mul -4 Mul Mul 2 x7 cosh Mul 5 x0 -2 Add Mul -4 Mul Mul 2 x7 cosh Mul 5 x0 -2 -1 Mul acot Add Mul -4 Mul Mul 2 x7 cosh Mul 5 x0 -2 Mul Add Mul x5 Mul Pow x0 Add Mul x0 Add x0 Add x5 2 -1 Add Mul x0 Add x0 Add x5 2 Mul Mul x0 log x0 Add Add x0 Add x5 2 x0 1 Pow Add 1 Mul -1 Mul Add Mul x5 Pow x0 Mul x0 Add x0 Add x5 2 x0 Add Mul x5 Pow x0 Mul x0 Add x0 Add x5 2 x0 -1 