Add sqrt acoth acot x5 Mul Add 4 log acot sqrt Add x0 -4 tan x0 
Add Mul tan x0 Mul Mul -1 Mul Pow Mul 2 sqrt Add x0 -4 -1 Pow Add 1 Mul sqrt Add x0 -4 sqrt Add x0 -4 -1 Pow acot sqrt Add x0 -4 -1 Mul Add 4 log acot sqrt Add x0 -4 Pow sec x0 2 