Pow Add acos Add x0 x0 x0 Mul acosh Mul sin x0 asech x5 x4 
Mul Pow Add acos Add x0 x0 x0 Add Mul acosh Mul sin x0 asech x5 x4 -1 Add Mul Mul acosh Mul sin x0 asech x5 x4 Add Mul -1 Mul 2 Pow sqrt Add 1 Mul -1 Mul Add x0 x0 Add x0 x0 -1 1 Mul Mul Add acos Add x0 x0 x0 log Add acos Add x0 x0 x0 Mul x4 Mul Mul asech x5 cos x0 Pow Mul sqrt Add Mul sin x0 asech x5 -1 sqrt Add 1 Mul sin x0 asech x5 -1 