Add Add Add x0 Mul Add Add 3 x0 x7 Mul 4 Pow Pow sqrt pi Add x0 Mul x0 acoth x7 x6 sec x0 -2 
Add Add 1 Add Mul 4 Pow Pow sqrt pi Add x0 Mul x0 acoth x7 x6 Mul Add Add 3 x0 x7 Mul 4 Mul Pow Pow sqrt pi Add x0 Mul x0 acoth x7 Add x6 -1 Mul x6 Mul Pow sqrt pi Add Add x0 Mul x0 acoth x7 -1 Mul Mul sqrt pi log sqrt pi Add 1 acoth x7 Mul tan x0 sec x0 