Mul Mul Mul 0.244978663126864 Pow x0 x4 x0 Pow pi Pow tan Mul acoth E x4 E 
Mul Pow pi Pow tan Mul acoth E x4 E Add Mul x0 Mul 0.244978663126864 Mul Pow x0 Add x4 -1 x4 Mul 0.244978663126864 Pow x0 x4 