Pow Pow acosh x0 Add x6 Pow x0 atanh asin pi sqrt x5 
Mul Pow Pow acosh x0 Add x6 Pow x0 atanh asin pi Add sqrt x5 -1 Mul sqrt x5 Mul Pow acosh x0 Add Add x6 Pow x0 atanh asin pi -1 Add Mul Add x6 Pow x0 atanh asin pi Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul acosh x0 log acosh x0 Mul Pow x0 Add atanh asin pi -1 atanh asin pi 