Pow tan x7 Pow acsch Add pi x0 3 
Mul Pow tan x7 Add Pow acsch Add pi x0 3 -1 Mul Mul tan x7 log tan x7 Mul Pow acsch Add pi x0 2 Mul 3 Mul -1 Pow Mul Mul Add pi x0 Add pi x0 sqrt Add 1 Mul -1 Pow Mul Add pi x0 Add pi x0 -1 -1 