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