Pow sin Mul x4 Add 4 x0 Pow Add -4 asec Pow acosh E x0 x1 
Mul Pow sin Mul x4 Add 4 x0 Add Pow Add -4 asec Pow acosh E x0 x1 -1 Add Mul Pow Add -4 asec Pow acosh E x0 x1 Mul cos Mul x4 Add 4 x0 x4 Mul Mul sin Mul x4 Add 4 x0 log sin Mul x4 Add 4 x0 Mul Pow Add -4 asec Pow acosh E x0 Add x1 -1 Mul x1 Mul Mul Pow acosh E Add x0 -1 Mul acosh E log acosh E Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow acosh E x0 Pow acosh E x0 -1 Pow acosh E x0 Pow acosh E x0 -1 