acos Mul sech x2 Add acos Add x0 Mul x0 2 Add 5 x0 
Mul -1 Mul Mul sech x2 Add Mul -1 Mul 3 Pow sqrt Add 1 Mul -1 Mul Add x0 Mul x0 2 Add x0 Mul x0 2 -1 1 Pow sqrt Add 1 Mul -1 Mul Mul sech x2 Add acos Add x0 Mul x0 2 Add 5 x0 Mul sech x2 Add acos Add x0 Mul x0 2 Add 5 x0 -1 