acot log Mul sec x0 Add 4 Add x0 sin atanh x3 
Mul -1 Mul Mul Add Mul Add 4 Add x0 sin atanh x3 Mul tan x0 sec x0 sec x0 Pow Mul sec x0 Add 4 Add x0 sin atanh x3 -1 Pow Add 1 Mul log Mul sec x0 Add 4 Add x0 sin atanh x3 log Mul sec x0 Add 4 Add x0 sin atanh x3 -1 