sqrt Mul Add Mul acot acoth cosh Mul x0 x0 atan Add Mul x0 Add -3 x0 Mul x7 -4 Mul x6 x0 5 
Mul Pow Mul 2 sqrt Mul Add Mul acot acoth cosh Mul x0 x0 atan Add Mul x0 Add -3 x0 Mul x7 -4 Mul x6 x0 5 -1 Mul 5 Add Add Mul atan Add Mul x0 Add -3 x0 Mul x7 -4 Mul -1 Mul Mul Mul sinh Mul x0 x0 Add x0 x0 Pow Add 1 Mul -1 Mul cosh Mul x0 x0 cosh Mul x0 x0 -1 Pow Add 1 Mul acoth cosh Mul x0 x0 acoth cosh Mul x0 x0 -1 Mul acot acoth cosh Mul x0 x0 Mul Add Add -3 x0 x0 Pow Add 1 Mul Add Mul x0 Add -3 x0 Mul x7 -4 Add Mul x0 Add -3 x0 Mul x7 -4 -1 x6 