Mul 2 Add Mul acot Mul Add exp x0 sqrt E atan Add x0 cosh x0 x0 sin Add Add Pow x1 x0 x0 -4 
Mul 2 Add Add Mul x0 Mul -1 Mul Add Mul atan Add x0 cosh x0 exp x0 Mul Add exp x0 sqrt E Mul Add 1 sinh x0 Pow Add 1 Mul Add x0 cosh x0 Add x0 cosh x0 -1 Pow Add 1 Mul Mul Add exp x0 sqrt E atan Add x0 cosh x0 Mul Add exp x0 sqrt E atan Add x0 cosh x0 -1 acot Mul Add exp x0 sqrt E atan Add x0 cosh x0 Mul cos Add Add Pow x1 x0 x0 -4 Add Mul Pow x1 Add x0 -1 Mul x1 log x1 1 