acot Mul tan x0 Add Add x0 Add tan atanh Add x5 x7 x0 Pow exp x4 pi 
Mul -1 Mul Add Mul Add Add x0 Add tan atanh Add x5 x7 x0 Pow exp x4 pi Pow sec x0 2 Mul tan x0 2 Pow Add 1 Mul Mul tan x0 Add Add x0 Add tan atanh Add x5 x7 x0 Pow exp x4 pi Mul tan x0 Add Add x0 Add tan atanh Add x5 x7 x0 Pow exp x4 pi -1 