Pow x7 Add E Pow acosh Mul x0 Mul x0 sec sech acoth pi pi 
Mul Pow x7 Add Add E Pow acosh Mul x0 Mul x0 sec sech acoth pi pi -1 Mul Mul x7 log x7 Mul Pow acosh Mul x0 Mul x0 sec sech acoth pi Add pi -1 Mul pi Mul Add Mul x0 sec sech acoth pi Mul x0 sec sech acoth pi Pow Mul sqrt Add Mul x0 Mul x0 sec sech acoth pi -1 sqrt Add 1 Mul x0 Mul x0 sec sech acoth pi -1 