Mul acosh Add Mul Add Add Mul x0 -3 x0 3 acos pi Pow Mul E cos x7 x0 x0 
Add Mul x0 Mul Add Mul acos pi 2 Mul Pow Mul E cos x7 Add x0 -1 Mul Mul E cos x7 log Mul E cos x7 Pow Mul sqrt Add Add Mul Add Add Mul x0 -3 x0 3 acos pi Pow Mul E cos x7 x0 -1 sqrt Add 1 Add Mul Add Add Mul x0 -3 x0 3 acos pi Pow Mul E cos x7 x0 -1 acosh Add Mul Add Add Mul x0 -3 x0 3 acos pi Pow Mul E cos x7 x0 