acot Mul Add Add 0.135335283236613 x0 Mul Add x4 x0 Add x0 x0 Add x0 Mul Mul x0 -2 Mul x0 acosh E 
Mul -1 Mul Add Mul Add x0 Mul Mul x0 -2 Mul x0 acosh E Add 1 Add Add x0 x0 Mul Add x4 x0 2 Mul Add Add 0.135335283236613 x0 Mul Add x4 x0 Add x0 x0 Add 1 Add Mul Mul x0 acosh E -2 Mul Mul x0 -2 acosh E Pow Add 1 Mul Mul Add Add 0.135335283236613 x0 Mul Add x4 x0 Add x0 x0 Add x0 Mul Mul x0 -2 Mul x0 acosh E Mul Add Add 0.135335283236613 x0 Mul Add x4 x0 Add x0 x0 Add x0 Mul Mul x0 -2 Mul x0 acosh E -1 