Mul acot Mul Mul -4 x0 x0 Add Pow coth log Mul x0 x0 x0 coth acosh sinh Pow Add x0 x0 cot x7 
Add Mul Add Pow coth log Mul x0 x0 x0 coth acosh sinh Pow Add x0 x0 cot x7 Mul -1 Mul Add Mul x0 -4 Mul -4 x0 Pow Add 1 Mul Mul Mul -4 x0 x0 Mul Mul -4 x0 x0 -1 Mul acot Mul Mul -4 x0 x0 Add Mul Pow coth log Mul x0 x0 Add x0 -1 Add Mul x0 Mul Mul -1 Pow csch log Mul x0 x0 2 Mul Add x0 x0 Pow Mul x0 x0 -1 Mul coth log Mul x0 x0 log coth log Mul x0 x0 Mul Mul -1 Pow csch acosh sinh Pow Add x0 x0 cot x7 2 Mul Mul cosh Pow Add x0 x0 cot x7 Mul Pow Add x0 x0 Add cot x7 -1 Mul cot x7 2 Pow Mul sqrt Add sinh Pow Add x0 x0 cot x7 -1 sqrt Add 1 sinh Pow Add x0 x0 cot x7 -1 