asech Mul Mul x0 Pow x4 Pow x0 x0 sqrt asin Add x3 Pow x3 Pow x2 cosh acot x3 
Mul Mul sqrt asin Add x3 Pow x3 Pow x2 cosh acot x3 Add Pow x4 Pow x0 x0 Mul x0 Mul Pow x4 Add Pow x0 x0 -1 Mul Mul x4 log x4 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow Mul Mul Mul Mul x0 Pow x4 Pow x0 x0 sqrt asin Add x3 Pow x3 Pow x2 cosh acot x3 Mul Mul x0 Pow x4 Pow x0 x0 sqrt asin Add x3 Pow x3 Pow x2 cosh acot x3 sqrt Add 1 Mul -1 Pow Mul Mul Mul x0 Pow x4 Pow x0 x0 sqrt asin Add x3 Pow x3 Pow x2 cosh acot x3 Mul Mul x0 Pow x4 Pow x0 x0 sqrt asin Add x3 Pow x3 Pow x2 cosh acot x3 -1 -1 