asin Mul Add acos x0 asech tanh Mul -3 Pow x5 x0 asech tanh E 
Mul Mul asech tanh E Add Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Pow sech Mul -3 Pow x5 x0 2 Mul -3 Mul Pow x5 Add x0 -1 Mul x5 log x5 Pow Mul Mul tanh Mul -3 Pow x5 x0 tanh Mul -3 Pow x5 x0 sqrt Add 1 Mul -1 Pow Mul tanh Mul -3 Pow x5 x0 tanh Mul -3 Pow x5 x0 -1 -1 Pow sqrt Add 1 Mul -1 Mul Mul Add acos x0 asech tanh Mul -3 Pow x5 x0 asech tanh E Mul Add acos x0 asech tanh Mul -3 Pow x5 x0 asech tanh E -1 