Add Mul x2 acoth x0 cos Add Add -2 Add Pow x0 Add x7 E acos x0 acos Pow x0 -4 
Add Mul x2 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul -1 sin Add Add -2 Add Pow x0 Add x7 E acos x0 acos Pow x0 -4 Add Add Mul Pow x0 Add Add x7 E -1 Add x7 E Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul -1 Mul Mul Pow x0 5 -4 Pow sqrt Add 1 Mul -1 Mul Pow x0 -4 Pow x0 -4 -1 