Add x3 Mul x0 acosh Pow Add E x1 cos x0 
Add acosh Pow Add E x1 cos x0 Mul x0 Mul Mul Pow Add E x1 Add cos x0 -1 Mul Mul Add E x1 log Add E x1 Mul -1 sin x0 Pow Mul sqrt Add Pow Add E x1 cos x0 -1 sqrt Add 1 Pow Add E x1 cos x0 -1 