Add Add x0 x0 tan cot Mul acosh x0 Add Add -3 log Pow x6 x0 -1.73205080756888 
Add 2 Mul Pow sec cot Mul acosh x0 Add Add -3 log Pow x6 x0 -1.73205080756888 2 Mul Mul -1 Pow csc Mul acosh x0 Add Add -3 log Pow x6 x0 -1.73205080756888 2 Add Mul Add Add -3 log Pow x6 x0 -1.73205080756888 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul acosh x0 Mul Mul Pow x6 Add x0 -1 Mul x6 log x6 Pow Pow x6 x0 -1 