Mul Add sech x2 acosh Pow Pow x7 x0 2 Pow cot tan x0 Pow x0 Mul x0 4 
Add Mul Pow cot tan x0 Pow x0 Mul x0 4 Mul Mul Pow x7 x0 Mul 2 Mul Pow x7 Add x0 -1 Mul x7 log x7 Pow Mul sqrt Add Pow Pow x7 x0 2 -1 sqrt Add 1 Pow Pow x7 x0 2 -1 Mul Add sech x2 acosh Pow Pow x7 x0 2 Mul Pow cot tan x0 Add Pow x0 Mul x0 4 -1 Add Mul Pow x0 Mul x0 4 Mul Mul -1 Pow csc tan x0 2 Pow sec x0 2 Mul Mul cot tan x0 log cot tan x0 Mul Pow x0 Add Mul x0 4 -1 Add Mul x0 4 Mul Mul x0 log x0 4 