Mul Mul Pow log x1 x0 acos acoth exp x0 Mul asech x6 log pi 
Mul Mul asech x6 log pi Add Mul acos acoth exp x0 Mul Pow log x1 Add x0 -1 Mul log x1 log log x1 Mul Pow log x1 x0 Mul -1 Mul Mul exp x0 Pow Add 1 Mul -1 Mul exp x0 exp x0 -1 Pow sqrt Add 1 Mul -1 Mul acoth exp x0 acoth exp x0 -1 