Pow Add 5 Add -4 atan Add Mul x0 acosh acot Pow x4 E Add x0 x0 Pow cos sin E acoth pi 
Mul Pow Add 5 Add -4 atan Add Mul x0 acosh acot Pow x4 E Add x0 x0 Add Pow cos sin E acoth pi -1 Mul Pow cos sin E acoth pi Mul Add acosh acot Pow x4 E 2 Pow Add 1 Mul Add Mul x0 acosh acot Pow x4 E Add x0 x0 Add Mul x0 acosh acot Pow x4 E Add x0 x0 -1 