asin Mul Add -4 x0 Pow sech x2 x0 
Mul Add Pow sech x2 x0 Mul Add -4 x0 Mul Pow sech x2 Add x0 -1 Mul sech x2 log sech x2 Pow sqrt Add 1 Mul -1 Mul Mul Add -4 x0 Pow sech x2 x0 Mul Add -4 x0 Pow sech x2 x0 -1 