Add x0 Pow Mul pi x4 Pow acoth x1 Add x0 3.99932862412470 
Add 1 Mul Pow Mul pi x4 Add Pow acoth x1 Add x0 3.99932862412470 -1 Mul Mul Mul pi x4 log Mul pi x4 Mul Pow acoth x1 Add Add x0 3.99932862412470 -1 Mul acoth x1 log acoth x1 