Mul x5 cbrt Pow atan x0 acoth Pow acosh x7 Add x0 x5 
Mul x5 Mul Pow Mul Mul 3 cbrt Pow atan x0 acoth Pow acosh x7 Add x0 x5 cbrt Pow atan x0 acoth Pow acosh x7 Add x0 x5 -1 Mul Pow atan x0 Add acoth Pow acosh x7 Add x0 x5 -1 Add Mul acoth Pow acosh x7 Add x0 x5 Pow Add 1 Mul x0 x0 -1 Mul Mul atan x0 log atan x0 Mul Mul Pow acosh x7 Add Add x0 x5 -1 Mul acosh x7 log acosh x7 Pow Add 1 Mul -1 Mul Pow acosh x7 Add x0 x5 Pow acosh x7 Add x0 x5 -1 