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