Mul Mul x0 asinh Add Pow atanh Add acot x0 Pow 4 x7 x3 asech x0 -5 
Mul -5 Add asinh Add Pow atanh Add acot x0 Pow 4 x7 x3 asech x0 Mul x0 Mul Add Mul Pow atanh Add acot x0 Pow 4 x7 Add x3 -1 Mul x3 Mul Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Add acot x0 Pow 4 x7 Add acot x0 Pow 4 x7 -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow sqrt Add 1 Mul Add Pow atanh Add acot x0 Pow 4 x7 x3 asech x0 Add Pow atanh Add acot x0 Pow 4 x7 x3 asech x0 -1 