Pow Add Add acosh Mul x7 Add 4 acosh x0 x0 Add x0 Mul pi x0 exp Mul Pow Mul x5 x0 pi -5 
Mul Pow Add Add acosh Mul x7 Add 4 acosh x0 x0 Add x0 Mul pi x0 Add exp Mul Pow Mul x5 x0 pi -5 -1 Add Mul exp Mul Pow Mul x5 x0 pi -5 Add Add Mul Mul x7 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Mul sqrt Add Mul x7 Add 4 acosh x0 -1 sqrt Add 1 Mul x7 Add 4 acosh x0 -1 1 Add 1 pi Mul Mul Add Add acosh Mul x7 Add 4 acosh x0 x0 Add x0 Mul pi x0 log Add Add acosh Mul x7 Add 4 acosh x0 x0 Add x0 Mul pi x0 Mul exp Mul Pow Mul x5 x0 pi -5 Mul -5 Mul Pow Mul x5 x0 Add pi -1 Mul pi x5 