Mul acosh Pow asech tanh Pow sec x3 acot x0 x0 Pow Mul x0 x0 -5 
Add Mul Pow Mul x0 x0 -5 Mul Mul Pow asech tanh Pow sec x3 acot x0 Add x0 -1 Add Mul x0 Mul Mul Pow sech Pow sec x3 acot x0 2 Mul Pow sec x3 Add acot x0 -1 Mul Mul sec x3 log sec x3 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Mul Mul tanh Pow sec x3 acot x0 tanh Pow sec x3 acot x0 sqrt Add 1 Mul -1 Pow Mul tanh Pow sec x3 acot x0 tanh Pow sec x3 acot x0 -1 -1 Mul asech tanh Pow sec x3 acot x0 log asech tanh Pow sec x3 acot x0 Pow Mul sqrt Add Pow asech tanh Pow sec x3 acot x0 x0 -1 sqrt Add 1 Pow asech tanh Pow sec x3 acot x0 x0 -1 Mul acosh Pow asech tanh Pow sec x3 acot x0 x0 Mul Pow Mul x0 x0 6 Mul -5 Add x0 x0 