Mul Mul sinh asech Mul x0 -4 Mul cot atan E x0 x0 
Add Mul x0 Add Mul Mul cot atan E x0 Mul cosh asech Mul x0 -4 Mul -4 Pow Mul Mul Mul x0 -4 Mul x0 -4 sqrt Add 1 Mul -1 Pow Mul Mul x0 -4 Mul x0 -4 -1 -1 Mul sinh asech Mul x0 -4 cot atan E Mul sinh asech Mul x0 -4 Mul cot atan E x0 