Add Mul Mul pi log x3 cot Mul tan x2 acosh sech sin x0 x0 
Add Mul Mul pi log x3 Mul Mul -1 Pow csc Mul tan x2 acosh sech sin x0 2 Mul tan x2 Mul Mul Mul tanh sin x0 Mul -1 sech sin x0 cos x0 Pow Mul sqrt Add sech sin x0 -1 sqrt Add 1 sech sin x0 -1 1 