asin sqrt Pow sech x1 atan Add Add exp x2 x0 Add x3 x0 
Mul Mul Pow Mul 2 sqrt Pow sech x1 atan Add Add exp x2 x0 Add x3 x0 -1 Mul Pow sech x1 Add atan Add Add exp x2 x0 Add x3 x0 -1 Mul Mul sech x1 log sech x1 Mul 2 Pow Add 1 Mul Add Add exp x2 x0 Add x3 x0 Add Add exp x2 x0 Add x3 x0 -1 Pow sqrt Add 1 Mul -1 Mul sqrt Pow sech x1 atan Add Add exp x2 x0 Add x3 x0 sqrt Pow sech x1 atan Add Add exp x2 x0 Add x3 x0 -1 