Add Mul -1.03731472072755 Pow Pow log sec x3 Pow acot x0 -0.481211825059603 x0 Mul x3 x1 
Mul -1.03731472072755 Mul Pow Pow log sec x3 Pow acot x0 -0.481211825059603 Add x0 -1 Add Mul x0 Mul Pow log sec x3 Add Pow acot x0 -0.481211825059603 -1 Mul Mul log sec x3 log log sec x3 Mul Pow acot x0 -1.48121182505960 Mul -0.481211825059603 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Pow log sec x3 Pow acot x0 -0.481211825059603 log Pow log sec x3 Pow acot x0 -0.481211825059603 