Add Mul acosh log Pow Mul -2 acos Add Add Add x7 -4 sinh x0 x0 -2 x0 x0 
Add Add Mul x0 Mul Mul Mul Pow Mul -2 acos Add Add Add x7 -4 sinh x0 x0 3 Mul -2 Mul -2 Mul -1 Mul Add cosh x0 1 Pow sqrt Add 1 Mul -1 Mul Add Add Add x7 -4 sinh x0 x0 Add Add Add x7 -4 sinh x0 x0 -1 Pow Pow Mul -2 acos Add Add Add x7 -4 sinh x0 x0 -2 -1 Pow Mul sqrt Add log Pow Mul -2 acos Add Add Add x7 -4 sinh x0 x0 -2 -1 sqrt Add 1 log Pow Mul -2 acos Add Add Add x7 -4 sinh x0 x0 -2 -1 acosh log Pow Mul -2 acos Add Add Add x7 -4 sinh x0 x0 -2 1 