Pow Pow asec acosh Mul 2 acoth x0 x1 Add Pow x4 x6 Add x0 0.00800000000000000 
Mul Pow Pow asec acosh Mul 2 acoth x0 x1 Add Add Pow x4 x6 Add x0 0.00800000000000000 -1 Add Mul Add Pow x4 x6 Add x0 0.00800000000000000 Mul Pow asec acosh Mul 2 acoth x0 Add x1 -1 Mul x1 Mul Mul Mul 2 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul sqrt Add Mul 2 acoth x0 -1 sqrt Add 1 Mul 2 acoth x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acosh Mul 2 acoth x0 acosh Mul 2 acoth x0 -1 acosh Mul 2 acoth x0 acosh Mul 2 acoth x0 -1 Mul Pow asec acosh Mul 2 acoth x0 x1 log Pow asec acosh Mul 2 acoth x0 x1 