exp Mul Mul tan cbrt Add x0 x7 x5 Pow acos Add x0 Add x0 Pow Add x0 x0 acoth x5 Mul x1 -3 
Mul exp Mul Mul tan cbrt Add x0 x7 x5 Pow acos Add x0 Add x0 Pow Add x0 x0 acoth x5 Mul x1 -3 Add Mul Pow acos Add x0 Add x0 Pow Add x0 x0 acoth x5 Mul x1 -3 Mul x5 Mul Pow sec cbrt Add x0 x7 2 Pow Mul Mul 3 cbrt Add x0 x7 cbrt Add x0 x7 -1 Mul Mul tan cbrt Add x0 x7 x5 Mul Pow acos Add x0 Add x0 Pow Add x0 x0 acoth x5 Add Mul x1 -3 -1 Mul Mul x1 -3 Mul -1 Mul Add 1 Add 1 Mul Pow Add x0 x0 Add acoth x5 -1 Mul acoth x5 2 Pow sqrt Add 1 Mul -1 Mul Add x0 Add x0 Pow Add x0 x0 acoth x5 Add x0 Add x0 Pow Add x0 x0 acoth x5 -1 