log atan Add log Mul Add 2 x0 3.94604392417649 cot acoth Add asec x3 1 
Mul Mul Mul 3.94604392417649 Pow Mul Add 2 x0 3.94604392417649 -1 Pow Add 1 Mul Add log Mul Add 2 x0 3.94604392417649 cot acoth Add asec x3 1 Add log Mul Add 2 x0 3.94604392417649 cot acoth Add asec x3 1 -1 Pow atan Add log Mul Add 2 x0 3.94604392417649 cot acoth Add asec x3 1 -1 