asin Mul exp cbrt Mul x0 Mul acoth acosh x0 x0 log x7 
Mul Mul log x7 Mul exp cbrt Mul x0 Mul acoth acosh x0 x0 Mul Pow Mul Mul 3 cbrt Mul x0 Mul acoth acosh x0 x0 cbrt Mul x0 Mul acoth acosh x0 x0 -1 Add Mul acoth acosh x0 x0 Mul x0 Add Mul x0 Mul Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Add 1 Mul -1 Mul acosh x0 acosh x0 -1 acoth acosh x0 Pow sqrt Add 1 Mul -1 Mul Mul exp cbrt Mul x0 Mul acoth acosh x0 x0 log x7 Mul exp cbrt Mul x0 Mul acoth acosh x0 x0 log x7 -1 