Mul -4 Add exp Add asin Mul x0 acosh x0 Add Add 5 Add x0 acosh x1 x5 3 
Mul -4 Mul exp Add asin Mul x0 acosh x0 Add Add 5 Add x0 acosh x1 x5 Add Mul Add acosh x0 Mul x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow sqrt Add 1 Mul -1 Mul Mul x0 acosh x0 Mul x0 acosh x0 -1 1 