asin Add Mul x0 Pow sech x7 x0 x0 
Mul Add Add Pow sech x7 x0 Mul x0 Mul Pow sech x7 Add x0 -1 Mul sech x7 log sech x7 1 Pow sqrt Add 1 Mul -1 Mul Add Mul x0 Pow sech x7 x0 x0 Add Mul x0 Pow sech x7 x0 x0 -1 