Mul Mul acos pi Mul Add E x0 Add Mul x1 Mul acosh x3 Mul E x0 2 x0 
Add Mul x0 Mul acos pi Add Add Mul x1 Mul acosh x3 Mul E x0 2 Mul Add E x0 Mul x1 Mul acosh x3 E Mul acos pi Mul Add E x0 Add Mul x1 Mul acosh x3 Mul E x0 2 