Add x3 Add x7 Add Pow asin Mul acosh x0 pi Add x0 x3 acoth pi 
Mul Pow asin Mul acosh x0 pi Add Add x0 x3 -1 Add Mul Add x0 x3 Mul Mul pi Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow sqrt Add 1 Mul -1 Mul Mul acosh x0 pi Mul acosh x0 pi -1 Mul asin Mul acosh x0 pi log asin Mul acosh x0 pi 