Add Pow x0 Add x0 Add x0 5.88314155012662 Pow Mul x6 Pow acosh acos cot x5 x0 3.14159265358979 
Add Mul Pow x0 Add Add x0 Add x0 5.88314155012662 -1 Add Add x0 Add x0 5.88314155012662 Mul Mul x0 log x0 2 Mul Pow Mul x6 Pow acosh acos cot x5 x0 2.14159265358979 Mul 3.14159265358979 Mul x6 Mul Pow acosh acos cot x5 Add x0 -1 Mul acosh acos cot x5 log acosh acos cot x5 