acosh Add Pow Mul x3 x0 -2 Mul x5 Add cos x0 Mul Mul -2 x0 Pow x2 x1 
Mul Add Mul Pow Mul x3 x0 3 Mul -2 x3 Mul x5 Add Mul -1 sin x0 Mul Pow x2 x1 -2 Pow Mul sqrt Add Add Pow Mul x3 x0 -2 Mul x5 Add cos x0 Mul Mul -2 x0 Pow x2 x1 -1 sqrt Add 1 Add Pow Mul x3 x0 -2 Mul x5 Add cos x0 Mul Mul -2 x0 Pow x2 x1 -1 