Add Mul Pow x0 -3 Add x0 x0 Mul acsch Pow cos log atanh x7 x0 -2 
Add Add Mul Add x0 x0 Mul Pow x0 4 -3 Mul Pow x0 -3 2 Mul -2 Mul Mul -1 Mul Pow cos log atanh x7 Add x0 -1 Mul cos log atanh x7 log cos log atanh x7 Pow Mul Mul Pow cos log atanh x7 x0 Pow cos log atanh x7 x0 sqrt Add 1 Mul -1 Pow Mul Pow cos log atanh x7 x0 Pow cos log atanh x7 x0 -1 -1 