Pow x0 Pow acot asech sin x0 acosh Mul 3 Pow 2 csch x6 
Mul Pow x0 Add Pow acot asech sin x0 acosh Mul 3 Pow 2 csch x6 -1 Add Pow acot asech sin x0 acosh Mul 3 Pow 2 csch x6 Mul Mul x0 log x0 Mul Pow acot asech sin x0 Add acosh Mul 3 Pow 2 csch x6 -1 Mul acosh Mul 3 Pow 2 csch x6 Mul -1 Mul Mul cos x0 Pow Mul Mul sin x0 sin x0 sqrt Add 1 Mul -1 Pow Mul sin x0 sin x0 -1 -1 Pow Add 1 Mul asech sin x0 asech sin x0 -1 