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