Mul Mul pi csch x0 Mul log Pow x0 x3 74.2054567096712 
Add Mul Mul log Pow x0 x3 74.2054567096712 Mul pi Mul Mul -1 coth x0 csch x0 Mul Mul pi csch x0 Mul 74.2054567096712 Mul Mul Pow x0 Add x3 -1 x3 Pow Pow x0 x3 -1 