acosh log Mul acot Add x0 Add 4 x0 sqrt Mul Add x0 x0 Pow Mul -1 x0 exp x2 
Mul Mul Add Mul sqrt Mul Add x0 x0 Pow Mul -1 x0 exp x2 Mul -1 Mul 2 Pow Add 1 Mul Add x0 Add 4 x0 Add x0 Add 4 x0 -1 Mul acot Add x0 Add 4 x0 Mul Pow Mul 2 sqrt Mul Add x0 x0 Pow Mul -1 x0 exp x2 -1 Add Mul Pow Mul -1 x0 exp x2 2 Mul Add x0 x0 Mul Pow Mul -1 x0 Add exp x2 -1 Mul exp x2 -1 Pow Mul acot Add x0 Add 4 x0 sqrt Mul Add x0 x0 Pow Mul -1 x0 exp x2 -1 Pow Mul sqrt Add log Mul acot Add x0 Add 4 x0 sqrt Mul Add x0 x0 Pow Mul -1 x0 exp x2 -1 sqrt Add 1 log Mul acot Add x0 Add 4 x0 sqrt Mul Add x0 x0 Pow Mul -1 x0 exp x2 -1 