Pow Add Mul 0.707106781186548 pi Pow tan Mul x2 E x0 x0 
Mul Pow Add Mul 0.707106781186548 pi Pow tan Mul x2 E x0 Add x0 -1 Add Mul x0 Mul Pow tan Mul x2 E Add x0 -1 Mul tan Mul x2 E log tan Mul x2 E Mul Add Mul 0.707106781186548 pi Pow tan Mul x2 E x0 log Add Mul 0.707106781186548 pi Pow tan Mul x2 E x0 