tan Add Mul Add log x0 0.525074641349870 Mul x0 -4 acoth Add x0 E 
Mul Pow sec Add Mul Add log x0 0.525074641349870 Mul x0 -4 acoth Add x0 E 2 Add Add Mul Mul x0 -4 Pow x0 -1 Mul Add log x0 0.525074641349870 -4 Pow Add 1 Mul -1 Mul Add x0 E Add x0 E -1 