Mul Pow cos acot Mul x4 Add x4 x0 cosh x1 x0 
Add Mul x0 Mul Pow cos acot Mul x4 Add x4 x0 Add cosh x1 -1 Mul cosh x1 Mul Mul -1 sin acot Mul x4 Add x4 x0 Mul -1 Mul x4 Pow Add 1 Mul Mul x4 Add x4 x0 Mul x4 Add x4 x0 -1 Pow cos acot Mul x4 Add x4 x0 cosh x1 