Mul Pow cos Mul Mul x0 4 -3 x0 Add 2 acoth x0 
Add Mul Add 2 acoth x0 Mul Pow cos Mul Mul x0 4 -3 Add x0 -1 Add Mul x0 Mul -1 sin Mul Mul x0 4 -3 Mul cos Mul Mul x0 4 -3 log cos Mul Mul x0 4 -3 Mul Pow cos Mul Mul x0 4 -3 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 