acosh Add Mul -1 x0 sqrt acosh cos Mul x0 x5 
Mul Add -1 Mul Pow Mul 2 sqrt acosh cos Mul x0 x5 -1 Mul Mul Mul -1 sin Mul x0 x5 x5 Pow Mul sqrt Add cos Mul x0 x5 -1 sqrt Add 1 cos Mul x0 x5 -1 Pow Mul sqrt Add Add Mul -1 x0 sqrt acosh cos Mul x0 x5 -1 sqrt Add 1 Add Mul -1 x0 sqrt acosh cos Mul x0 x5 -1 