Add 14255617839730704485444013912347712166058536197169241851219148800 sqrt Mul x0 acoth Add 1.23095941734077 atan log Mul pi -5 
Mul Pow Mul 2 sqrt Mul x0 acoth Add 1.23095941734077 atan log Mul pi -5 -1 acoth Add 1.23095941734077 atan log Mul pi -5 