Mul sech Add Mul x0 Mul x0 x2 Pow acos x0 Add x0 x4 Mul Pow acoth Add x0 5 Pow 4 E x0 
Add Mul Mul Pow acoth Add x0 5 Pow 4 E x0 Mul Mul tanh Add Mul x0 Mul x0 x2 Pow acos x0 Add x0 x4 Mul -1 sech Add Mul x0 Mul x0 x2 Pow acos x0 Add x0 x4 Add Add Mul x0 x2 Mul x0 x2 Mul Pow acos x0 Add Add x0 x4 -1 Add Mul Add x0 x4 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul acos x0 log acos x0 Mul sech Add Mul x0 Mul x0 x2 Pow acos x0 Add x0 x4 Add Mul x0 Mul Pow acoth Add x0 5 Add Pow 4 E -1 Mul Pow 4 E Pow Add 1 Mul -1 Mul Add x0 5 Add x0 5 -1 Pow acoth Add x0 5 Pow 4 E 