Mul x5 asin Mul Pow Mul Add Pow pi x0 x7 sqrt x0 Add Add 4 x0 x7 Add cosh x0 sech pi 
Mul x5 Mul Add Mul Add cosh x0 sech pi Mul Pow Mul Add Pow pi x0 x7 sqrt x0 Add Add Add 4 x0 x7 -1 Add Mul Add Add 4 x0 x7 Add Mul sqrt x0 Mul Pow pi Add x0 -1 Mul pi log pi Mul Add Pow pi x0 x7 Pow Mul 2 sqrt x0 -1 Mul Mul Add Pow pi x0 x7 sqrt x0 log Mul Add Pow pi x0 x7 sqrt x0 Mul Pow Mul Add Pow pi x0 x7 sqrt x0 Add Add 4 x0 x7 sinh x0 Pow sqrt Add 1 Mul -1 Mul Mul Pow Mul Add Pow pi x0 x7 sqrt x0 Add Add 4 x0 x7 Add cosh x0 sech pi Mul Pow Mul Add Pow pi x0 x7 sqrt x0 Add Add 4 x0 x7 Add cosh x0 sech pi -1 