Pow acosh x0 Mul exp Add 1 x0 Add asin x0 acos E 
Mul Pow acosh x0 Add Mul exp Add 1 x0 Add asin x0 acos E -1 Add Mul Mul exp Add 1 x0 Add asin x0 acos E Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul acosh x0 log acosh x0 Add Mul Add asin x0 acos E exp Add 1 x0 Mul exp Add 1 x0 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 