Mul Mul Pow x0 cos x0 Pow atanh Mul Pow cosh x0 sqrt x4 Mul x4 x0 acos x0 4 
Mul 4 Add Mul Pow atanh Mul Pow cosh x0 sqrt x4 Mul x4 x0 acos x0 Mul Pow x0 Add cos x0 -1 Add cos x0 Mul Mul x0 log x0 Mul -1 sin x0 Mul Pow x0 cos x0 Mul Pow atanh Mul Pow cosh x0 sqrt x4 Mul x4 x0 Add acos x0 -1 Add Mul acos x0 Mul Add Mul Mul x4 x0 Mul Pow cosh x0 Add sqrt x4 -1 Mul sqrt x4 sinh x0 Mul Pow cosh x0 sqrt x4 x4 Pow Add 1 Mul -1 Mul Mul Pow cosh x0 sqrt x4 Mul x4 x0 Mul Pow cosh x0 sqrt x4 Mul x4 x0 -1 Mul Mul atanh Mul Pow cosh x0 sqrt x4 Mul x4 x0 log atanh Mul Pow cosh x0 sqrt x4 Mul x4 x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 