Pow Mul Mul Add cosh sqrt x0 x0 x7 acos Mul acot Mul x1 x7 x0 -5 
Mul Pow Mul Mul Add cosh sqrt x0 x0 x7 acos Mul acot Mul x1 x7 x0 6 Mul -5 Add Mul acos Mul acot Mul x1 x7 x0 Mul x7 Add Mul sinh sqrt x0 Pow Mul 2 sqrt x0 -1 1 Mul Mul Add cosh sqrt x0 x0 x7 Mul -1 Mul acot Mul x1 x7 Pow sqrt Add 1 Mul -1 Mul Mul acot Mul x1 x7 x0 Mul acot Mul x1 x7 x0 -1 