exp cos cos sinh Add atanh pi Add Mul x0 Add E x1 acosh x2 
Mul exp cos cos sinh Add atanh pi Add Mul x0 Add E x1 acosh x2 Mul Mul -1 sin cos sinh Add atanh pi Add Mul x0 Add E x1 acosh x2 Mul Mul -1 sin sinh Add atanh pi Add Mul x0 Add E x1 acosh x2 Mul cosh Add atanh pi Add Mul x0 Add E x1 acosh x2 Add E x1 