Mul Add x0 pi Mul acot Add Pow acosh x0 Add x6 Pow x0 5.52359877559830 acosh x0 Add x2 x0 
Add Mul acot Add Pow acosh x0 Add x6 Pow x0 5.52359877559830 acosh x0 Add x2 x0 Mul Add x0 pi Add Mul Add x2 x0 Mul -1 Mul Add Mul Pow acosh x0 Add Add x6 Pow x0 5.52359877559830 -1 Add Mul Add x6 Pow x0 5.52359877559830 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul acosh x0 log acosh x0 Mul Pow x0 4.52359877559830 5.52359877559830 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Add 1 Mul Add Pow acosh x0 Add x6 Pow x0 5.52359877559830 acosh x0 Add Pow acosh x0 Add x6 Pow x0 5.52359877559830 acosh x0 -1 acot Add Pow acosh x0 Add x6 Pow x0 5.52359877559830 acosh x0 