exp Mul Pow Mul x1 cos x7 x0 Add Mul -2 x0 acosh x0 
Mul exp Mul Pow Mul x1 cos x7 x0 Add Mul -2 x0 acosh x0 Add Mul Add Mul -2 x0 acosh x0 Mul Pow Mul x1 cos x7 Add x0 -1 Mul Mul x1 cos x7 log Mul x1 cos x7 Mul Pow Mul x1 cos x7 x0 Add -2 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 