Mul Mul x0 x1 Mul Mul Add Add x0 Pow Pow -4 E Pow Mul x0 Mul -1 x0 sqrt cosh E cot x4 x0 0.999909204262595 
Add Mul Mul Mul Add Add x0 Pow Pow -4 E Pow Mul x0 Mul -1 x0 sqrt cosh E cot x4 x0 0.999909204262595 x1 Mul Mul x0 x1 Mul 0.999909204262595 Add Mul x0 Add 1 Mul Pow Pow -4 E Add Pow Mul x0 Mul -1 x0 sqrt cosh E -1 Mul Mul Pow -4 E log Pow -4 E Mul Pow Mul x0 Mul -1 x0 Add sqrt cosh E -1 Mul sqrt cosh E Add Mul -1 x0 Mul x0 -1 Add Add x0 Pow Pow -4 E Pow Mul x0 Mul -1 x0 sqrt cosh E cot x4 