Add 5 Mul Pow Pow sqrt tan acsch x7 x0 x0 x6 
Mul x6 Mul Pow Pow sqrt tan acsch x7 x0 Add x0 -1 Add Mul x0 Mul Pow sqrt tan acsch x7 Add x0 -1 Mul sqrt tan acsch x7 log sqrt tan acsch x7 Mul Pow sqrt tan acsch x7 x0 log Pow sqrt tan acsch x7 x0 