Add Pow x0 Add x7 sin x0 Pow asin cos Pow acosh x7 x0 x0 
Add Mul Pow x0 Add Add x7 sin x0 -1 Add Add x7 sin x0 Mul Mul x0 log x0 cos x0 Mul Pow asin cos Pow acosh x7 x0 Add x0 -1 Add Mul x0 Mul Mul Mul -1 sin Pow acosh x7 x0 Mul Pow acosh x7 Add x0 -1 Mul acosh x7 log acosh x7 Pow sqrt Add 1 Mul -1 Mul cos Pow acosh x7 x0 cos Pow acosh x7 x0 -1 Mul asin cos Pow acosh x7 x0 log asin cos Pow acosh x7 x0 