Add Pow Add x0 x6 atanh sinh acot cos acoth x0 x0 
Add Mul Pow Add x0 x6 Add atanh sinh acot cos acoth x0 -1 Add atanh sinh acot cos acoth x0 Mul Mul Add x0 x6 log Add x0 x6 Mul Mul cosh acot cos acoth x0 Mul -1 Mul Mul Mul -1 sin acoth x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul cos acoth x0 cos acoth x0 -1 Pow Add 1 Mul -1 Mul sinh acot cos acoth x0 sinh acot cos acoth x0 -1 1 