atan Mul Mul Mul acosh Pow cot x3 0.642092615934331 x0 -1 atanh acoth Add x0 x6 
Mul Add Mul atanh acoth Add x0 x6 Mul -1 acosh Pow cot x3 0.642092615934331 Mul Mul Mul acosh Pow cot x3 0.642092615934331 x0 -1 Mul Pow Add 1 Mul -1 Mul Add x0 x6 Add x0 x6 -1 Pow Add 1 Mul -1 Mul acoth Add x0 x6 acoth Add x0 x6 -1 Pow Add 1 Mul Mul Mul Mul acosh Pow cot x3 0.642092615934331 x0 -1 atanh acoth Add x0 x6 Mul Mul Mul acosh Pow cot x3 0.642092615934331 x0 -1 atanh acoth Add x0 x6 -1 