Pow acos x0 Mul Add Add x0 x0 Mul acoth x0 sin sin x0 x1 
Mul Pow acos x0 Add Mul Add Add x0 x0 Mul acoth x0 sin sin x0 x1 -1 Add Mul Mul Add Add x0 x0 Mul acoth x0 sin sin x0 x1 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul acos x0 log acos x0 Mul x1 Add 2 Add Mul sin sin x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul acoth x0 Mul cos sin x0 cos x0 