Add acot x0 Mul x0 exp Pow x0 Mul -3 Pow Add x0 x5 Mul Add acosh x6 x0 Mul Mul -4 sinh x7 x0 
Add Mul -1 Pow Add 1 Mul x0 x0 -1 Add exp Pow x0 Mul -3 Pow Add x0 x5 Mul Add acosh x6 x0 Mul Mul -4 sinh x7 x0 Mul x0 Mul exp Pow x0 Mul -3 Pow Add x0 x5 Mul Add acosh x6 x0 Mul Mul -4 sinh x7 x0 Mul Pow x0 Add Mul -3 Pow Add x0 x5 Mul Add acosh x6 x0 Mul Mul -4 sinh x7 x0 -1 Add Mul -3 Pow Add x0 x5 Mul Add acosh x6 x0 Mul Mul -4 sinh x7 x0 Mul Mul x0 log x0 Mul -3 Mul Pow Add x0 x5 Add Mul Add acosh x6 x0 Mul Mul -4 sinh x7 x0 -1 Add Mul Add acosh x6 x0 Mul Mul -4 sinh x7 x0 Mul Mul Add x0 x5 log Add x0 x5 Add Mul Mul -4 sinh x7 x0 Mul Add acosh x6 x0 Mul -4 sinh x7 