Pow log Pow Pow E -4 Mul acoth x1 Add pi 0.283662185463226 x0 
Mul Pow log Pow Pow E -4 Mul acoth x1 Add pi 0.283662185463226 Add x0 -1 Mul log Pow Pow E -4 Mul acoth x1 Add pi 0.283662185463226 log log Pow Pow E -4 Mul acoth x1 Add pi 0.283662185463226 