Mul Pow Mul x2 x7 x0 Add csc x0 Mul Mul acoth Add -1.35936421031150 x0 x0 acos x2 
Add Mul Add csc x0 Mul Mul acoth Add -1.35936421031150 x0 x0 acos x2 Mul Pow Mul x2 x7 Add x0 -1 Mul Mul x2 x7 log Mul x2 x7 Mul Pow Mul x2 x7 x0 Add Mul Mul -1 cot x0 csc x0 Mul acos x2 Add Mul x0 Pow Add 1 Mul -1 Mul Add -1.35936421031150 x0 Add -1.35936421031150 x0 -1 acoth Add -1.35936421031150 x0 