Pow x0 cos Add x0 Mul x0 csch acot x3 
Mul Pow x0 Add cos Add x0 Mul x0 csch acot x3 -1 Add cos Add x0 Mul x0 csch acot x3 Mul Mul x0 log x0 Mul Mul -1 sin Add x0 Mul x0 csch acot x3 Add 1 csch acot x3 