Mul Pow Add Pow acosh x0 x0 exp exp pi Pow x5 x0 asin x3 
Mul asin x3 Mul Pow Add Pow acosh x0 x0 exp exp pi Add Pow x5 x0 -1 Add Mul Pow x5 x0 Mul Pow acosh x0 Add x0 -1 Add Mul x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul acosh x0 log acosh x0 Mul Mul Add Pow acosh x0 x0 exp exp pi log Add Pow acosh x0 x0 exp exp pi Mul Pow x5 Add x0 -1 Mul x5 log x5 