acot Add Pow Pow x1 asinh Add Add x7 -2 Mul pi 4 -5 Add -4 log tan x0 
Mul -1 Mul Mul Pow sec x0 2 Pow tan x0 -1 Pow Add 1 Mul Add Pow Pow x1 asinh Add Add x7 -2 Mul pi 4 -5 Add -4 log tan x0 Add Pow Pow x1 asinh Add Add x7 -2 Mul pi 4 -5 Add -4 log tan x0 -1 