Add Pow Pow Mul x0 acsch cot x7 E x0 tan x0 
Add Mul Pow Pow Mul x0 acsch cot x7 E Add x0 -1 Add Mul x0 Mul Pow Mul x0 acsch cot x7 Add E -1 Mul E acsch cot x7 Mul Pow Mul x0 acsch cot x7 E log Pow Mul x0 acsch cot x7 E Pow sec x0 2 