Add Pow Add x0 Add acosh x0 Add x0 x0 pi Pow Add Mul Add x0 1 Add 0.125000000000000 cot x1 x0 -1 
Add Mul Pow Add x0 Add acosh x0 Add x0 x0 Add pi -1 Mul pi Add 1 Add Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 2 Mul Pow Add Mul Add x0 1 Add 0.125000000000000 cot x1 x0 2 Mul -1 Add Add 0.125000000000000 cot x1 1 