Add Add x0 Pow tan Mul x0 Pow tan x0 acsch Mul Add x0 x3 2 4 pi 
Add 1 Mul Pow tan Mul x0 Pow tan x0 acsch Mul Add x0 x3 2 3 Mul 4 Mul Pow sec Mul x0 Pow tan x0 acsch Mul Add x0 x3 2 2 Add Pow tan x0 acsch Mul Add x0 x3 2 Mul x0 Mul Pow tan x0 Add acsch Mul Add x0 x3 2 -1 Add Mul acsch Mul Add x0 x3 2 Pow sec x0 2 Mul Mul tan x0 log tan x0 Pow Mul Mul Mul Add x0 x3 2 Mul Add x0 x3 2 sqrt Add 1 Mul -1 Pow Mul Mul Add x0 x3 2 Mul Add x0 x3 2 -1 -1 