Mul Pow Mul -1 x0 x0 Mul Pow sqrt E Mul cos x0 tanh acot x6 Mul x6 x0 
Add Mul Mul Pow sqrt E Mul cos x0 tanh acot x6 Mul x6 x0 Mul Pow Mul -1 x0 Add x0 -1 Add Mul x0 -1 Mul Mul -1 x0 log Mul -1 x0 Mul Pow Mul -1 x0 x0 Add Mul Mul x6 x0 Mul Pow sqrt E Add Mul cos x0 tanh acot x6 -1 Mul Mul sqrt E log sqrt E Mul tanh acot x6 Mul -1 sin x0 Mul Pow sqrt E Mul cos x0 tanh acot x6 x6 