exp Pow acoth cbrt Pow exp x6 x0 Add x3 x0 
Mul exp Pow acoth cbrt Pow exp x6 x0 Add x3 x0 Mul Pow acoth cbrt Pow exp x6 x0 Add Add x3 x0 -1 Add Mul Add x3 x0 Mul Mul Pow Mul Mul 3 cbrt Pow exp x6 x0 cbrt Pow exp x6 x0 -1 Mul Pow exp x6 Add x0 -1 Mul exp x6 log exp x6 Pow Add 1 Mul -1 Mul cbrt Pow exp x6 x0 cbrt Pow exp x6 x0 -1 Mul acoth cbrt Pow exp x6 x0 log acoth cbrt Pow exp x6 x0 