Pow acos acoth x0 Add pi Add -0.881373587019543 acos Mul acosh x0 Mul Pow 2 x0 Add x0 acosh x7 
Mul Pow acos acoth x0 Add Add pi Add -0.881373587019543 acos Mul acosh x0 Mul Pow 2 x0 Add x0 acosh x7 -1 Add Mul Add pi Add -0.881373587019543 acos Mul acosh x0 Mul Pow 2 x0 Add x0 acosh x7 Mul -1 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul acoth x0 acoth x0 -1 Mul Mul acos acoth x0 log acos acoth x0 Mul -1 Mul Add Mul Mul Pow 2 x0 Add x0 acosh x7 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul acosh x0 Add Mul Add x0 acosh x7 Mul Pow 2 Add x0 -1 2.69314718055995 Pow 2 x0 Pow sqrt Add 1 Mul -1 Mul Mul acosh x0 Mul Pow 2 x0 Add x0 acosh x7 Mul acosh x0 Mul Pow 2 x0 Add x0 acosh x7 -1 