Add Add Add x0 Add x0 pi acot Mul cot x6 x0 Mul x3 Mul Add Add 4 Add -5 Add x7 Mul x0 x0 5 acosh x0 
Add Add 2 Mul -1 Mul cot x6 Pow Add 1 Mul Mul cot x6 x0 Mul cot x6 x0 -1 Mul x3 Add Mul acosh x0 Add x0 x0 Mul Add Add 4 Add -5 Add x7 Mul x0 x0 5 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 