Pow acosh Mul -4 x0 Add Add x0 acosh Mul x3 x5 Add x0 acos atan Pow Add x7 Mul -3 asech x0 Pow x0 pi 
Mul Pow acosh Mul -4 x0 Add Add Add x0 acosh Mul x3 x5 Add x0 acos atan Pow Add x7 Mul -3 asech x0 Pow x0 pi -1 Add Mul Add Add x0 acosh Mul x3 x5 Add x0 acos atan Pow Add x7 Mul -3 asech x0 Pow x0 pi Mul -4 Pow Mul sqrt Add Mul -4 x0 -1 sqrt Add 1 Mul -4 x0 -1 Mul Mul acosh Mul -4 x0 log acosh Mul -4 x0 Add 1 Add 1 Mul -1 Mul Mul Mul Pow Add x7 Mul -3 asech x0 Add Pow x0 pi -1 Add Mul Pow x0 pi Mul -3 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Mul Add x7 Mul -3 asech x0 log Add x7 Mul -3 asech x0 Mul Pow x0 Add pi -1 pi Pow Add 1 Mul Pow Add x7 Mul -3 asech x0 Pow x0 pi Pow Add x7 Mul -3 asech x0 Pow x0 pi -1 Pow sqrt Add 1 Mul -1 Mul atan Pow Add x7 Mul -3 asech x0 Pow x0 pi atan Pow Add x7 Mul -3 asech x0 Pow x0 pi -1 