Pow tan Add x0 Add Mul x0 5 Pow acoth pi Add Mul x0 log x0 log x0 -5 
Mul Pow tan Add x0 Add Mul x0 5 Pow acoth pi Add Mul x0 log x0 log x0 6 Mul -5 Mul Pow sec Add x0 Add Mul x0 5 Pow acoth pi Add Mul x0 log x0 log x0 2 Add 1 Add 5 Mul Pow acoth pi Add Add Mul x0 log x0 log x0 -1 Mul Mul acoth pi log acoth pi Add Add log x0 Mul x0 Pow x0 -1 Pow x0 -1 