Mul Mul sqrt x0 Add x0 asech sqrt x4 asin Add Add x0 sinh log x3 Mul x2 x2 
Add Mul asin Add Add x0 sinh log x3 Mul x2 x2 Add Mul Add x0 asech sqrt x4 Pow Mul 2 sqrt x0 -1 sqrt x0 Mul Mul sqrt x0 Add x0 asech sqrt x4 Pow sqrt Add 1 Mul -1 Mul Add Add x0 sinh log x3 Mul x2 x2 Add Add x0 sinh log x3 Mul x2 x2 -1 