Add Add Mul acot x0 Mul Pow acsch E Pow x0 x0 Mul x3 Add x4 x1 -7.01525255143453 x4 
Add Mul Mul Pow acsch E Pow x0 x0 Mul x3 Add x4 x1 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 Mul Mul x3 Add x4 x1 Mul Pow acsch E Add Pow x0 x0 -1 Mul Mul acsch E log acsch E Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 