Pow Mul x0 coth acoth Mul x5 -5 Mul 0.761594155955765 x0 
Mul Pow Mul x0 coth acoth Mul x5 -5 Add Mul 0.761594155955765 x0 -1 Add Mul Mul 0.761594155955765 x0 coth acoth Mul x5 -5 Mul Mul Mul x0 coth acoth Mul x5 -5 log Mul x0 coth acoth Mul x5 -5 0.761594155955765 