Mul acoth x0 acoth Add Add x0 Add exp Add Add x0 x3 Add Add Mul x0 Mul x6 x0 -4 5 1 acos x4 
Add Mul acoth Add Add x0 Add exp Add Add x0 x3 Add Add Mul x0 Mul x6 x0 -4 5 1 acos x4 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul acoth x0 Mul Add 1 Mul exp Add Add x0 x3 Add Add Mul x0 Mul x6 x0 -4 5 Add 1 Add Mul x6 x0 Mul x0 x6 Pow Add 1 Mul -1 Mul Add Add x0 Add exp Add Add x0 x3 Add Add Mul x0 Mul x6 x0 -4 5 1 acos x4 Add Add x0 Add exp Add Add x0 x3 Add Add Mul x0 Mul x6 x0 -4 5 1 acos x4 -1 