Pow Add sec acsc tan x3 x0 Add x0 cosh Mul asech log Mul x0 x1 x0 
Mul Pow Add sec acsc tan x3 x0 Add Add x0 cosh Mul asech log Mul x0 x1 x0 -1 Add Add x0 cosh Mul asech log Mul x0 x1 x0 Mul Mul Add sec acsc tan x3 x0 log Add sec acsc tan x3 x0 Add 1 Mul sinh Mul asech log Mul x0 x1 x0 Add Mul x0 Mul Mul x1 Pow Mul x0 x1 -1 Pow Mul Mul log Mul x0 x1 log Mul x0 x1 sqrt Add 1 Mul -1 Pow Mul log Mul x0 x1 log Mul x0 x1 -1 -1 asech log Mul x0 x1 