Mul cbrt acos Add x0 Add Add x0 exp acoth x0 x0 x2 
Mul x2 Mul Pow Mul Mul 3 cbrt acos Add x0 Add Add x0 exp acoth x0 x0 cbrt acos Add x0 Add Add x0 exp acoth x0 x0 -1 Mul -1 Mul Add 1 Add Add 1 Mul exp acoth x0 Pow Add 1 Mul -1 Mul x0 x0 -1 1 Pow sqrt Add 1 Mul -1 Mul Add x0 Add Add x0 exp acoth x0 x0 Add x0 Add Add x0 exp acoth x0 x0 -1 