Mul 16 Mul Mul sech x1 Mul -5 Mul Pow asin Add x0 x0 x0 x5 x5 
Mul 16 Mul x5 Mul sech x1 Mul -5 Mul x5 Mul Pow asin Add x0 x0 Add x0 -1 Add Mul x0 Mul 2 Pow sqrt Add 1 Mul -1 Mul Add x0 x0 Add x0 x0 -1 Mul asin Add x0 x0 log asin Add x0 x0 