acoth Add Add Pow x0 x1 Add Add exp x0 acsch x0 sqrt log Add x0 x0 x0 
Mul Add Add Mul Pow x0 Add x1 -1 x1 Add Add exp x0 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Pow Mul 2 sqrt log Add x0 x0 -1 Mul 2 Pow Add x0 x0 -1 1 Pow Add 1 Mul -1 Mul Add Add Pow x0 x1 Add Add exp x0 acsch x0 sqrt log Add x0 x0 x0 Add Add Pow x0 x1 Add Add exp x0 acsch x0 sqrt log Add x0 x0 x0 -1 