Add Mul x0 x0 Pow Pow coth Add cot x3 4 Mul Mul x0 x0 tan asech x5 x7 
Add Add x0 x0 Mul Pow Pow coth Add cot x3 4 Mul Mul x0 x0 tan asech x5 Add x7 -1 Mul x7 Mul Pow coth Add cot x3 4 Add Mul Mul x0 x0 tan asech x5 -1 Mul Mul coth Add cot x3 4 log coth Add cot x3 4 Mul tan asech x5 Add x0 x0 