Mul Pow acosh x2 Mul Add asin acos sin x0 Add x6 -4 x0 x0 
Add Mul x0 Mul Pow acosh x2 Add Mul Add asin acos sin x0 Add x6 -4 x0 -1 Mul Mul acosh x2 log acosh x2 Add Mul x0 Mul Mul -1 Mul cos x0 Pow sqrt Add 1 Mul -1 Mul sin x0 sin x0 -1 Pow sqrt Add 1 Mul -1 Mul acos sin x0 acos sin x0 -1 Add asin acos sin x0 Add x6 -4 Pow acosh x2 Mul Add asin acos sin x0 Add x6 -4 x0 