Add exp Pow atan x0 x0 Add x0 Mul Pow acot Pow Mul Add x0 E tan x0 x0 Add -3 acos acosh x0 x0 
Add Mul exp Pow atan x0 x0 Mul Pow atan x0 Add x0 -1 Add Mul x0 Pow Add 1 Mul x0 x0 -1 Mul atan x0 log atan x0 Add 1 Add Mul x0 Mul Pow acot Pow Mul Add x0 E tan x0 x0 Add Add -3 acos acosh x0 -1 Add Mul Add -3 acos acosh x0 Mul -1 Mul Mul Pow Mul Add x0 E tan x0 Add x0 -1 Add Mul x0 Add tan x0 Mul Add x0 E Pow sec x0 2 Mul Mul Add x0 E tan x0 log Mul Add x0 E tan x0 Pow Add 1 Mul Pow Mul Add x0 E tan x0 x0 Pow Mul Add x0 E tan x0 x0 -1 Mul Mul acot Pow Mul Add x0 E tan x0 x0 log acot Pow Mul Add x0 E tan x0 x0 Mul -1 Mul Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow sqrt Add 1 Mul -1 Mul acosh x0 acosh x0 -1 Pow acot Pow Mul Add x0 E tan x0 x0 Add -3 acos acosh x0 