Pow Add x0 2 Mul acsch cot x7 Mul Add x0 x0 x0 
Mul Pow Add x0 2 Add Mul acsch cot x7 Mul Add x0 x0 x0 -1 Add Mul acsch cot x7 Mul Add x0 x0 x0 Mul Mul Add x0 2 log Add x0 2 Mul acsch cot x7 Add Mul x0 2 Add x0 x0 