Mul log Mul -5 Pow acoth Add x4 x3 x2 Pow Pow x0 x1 tan sqrt Add x0 Add 3 E 
Mul log Mul -5 Pow acoth Add x4 x3 x2 Mul Pow Pow x0 x1 Add tan sqrt Add x0 Add 3 E -1 Add Mul tan sqrt Add x0 Add 3 E Mul Pow x0 Add x1 -1 x1 Mul Mul Pow x0 x1 log Pow x0 x1 Mul Pow sec sqrt Add x0 Add 3 E 2 Pow Mul 2 sqrt Add x0 Add 3 E -1 