atan sqrt acot Add x0 Pow Mul x0 x2 acoth sinh Add Mul -5 x0 -3 
Mul Mul Pow Mul 2 sqrt acot Add x0 Pow Mul x0 x2 acoth sinh Add Mul -5 x0 -3 -1 Mul -1 Mul Add 1 Mul Pow Mul x0 x2 Add acoth sinh Add Mul -5 x0 -3 -1 Add Mul acoth sinh Add Mul -5 x0 -3 x2 Mul Mul Mul x0 x2 log Mul x0 x2 Mul Mul cosh Add Mul -5 x0 -3 -5 Pow Add 1 Mul -1 Mul sinh Add Mul -5 x0 -3 sinh Add Mul -5 x0 -3 -1 Pow Add 1 Mul Add x0 Pow Mul x0 x2 acoth sinh Add Mul -5 x0 -3 Add x0 Pow Mul x0 x2 acoth sinh Add Mul -5 x0 -3 -1 Pow Add 1 Mul sqrt acot Add x0 Pow Mul x0 x2 acoth sinh Add Mul -5 x0 -3 sqrt acot Add x0 Pow Mul x0 x2 acoth sinh Add Mul -5 x0 -3 -1 