Add sin acoth Add x0 Pow x5 x7 Pow acos x6 Mul x0 4 
Add Mul cos acoth Add x0 Pow x5 x7 Pow Add 1 Mul -1 Mul Add x0 Pow x5 x7 Add x0 Pow x5 x7 -1 Mul Pow acos x6 Add Mul x0 4 -1 Mul Mul acos x6 log acos x6 4 