acosh Mul x0 sinh Add Pow sqrt Mul x0 Pow x0 atanh Pow pi x0 Add Mul -3 log x2 x0 x0 
Mul Add sinh Add Pow sqrt Mul x0 Pow x0 atanh Pow pi x0 Add Mul -3 log x2 x0 x0 Mul x0 Mul cosh Add Pow sqrt Mul x0 Pow x0 atanh Pow pi x0 Add Mul -3 log x2 x0 x0 Add Mul Pow sqrt Mul x0 Pow x0 atanh Pow pi x0 Add Add Mul -3 log x2 x0 -1 Add Mul Add Mul -3 log x2 x0 Mul Pow Mul 2 sqrt Mul x0 Pow x0 atanh Pow pi x0 -1 Add Pow x0 atanh Pow pi x0 Mul x0 Mul Pow x0 Add atanh Pow pi x0 -1 Add atanh Pow pi x0 Mul Mul x0 log x0 Mul Mul Pow pi Add x0 -1 Mul pi log pi Pow Add 1 Mul -1 Mul Pow pi x0 Pow pi x0 -1 Mul sqrt Mul x0 Pow x0 atanh Pow pi x0 log sqrt Mul x0 Pow x0 atanh Pow pi x0 1 Pow Mul sqrt Add Mul x0 sinh Add Pow sqrt Mul x0 Pow x0 atanh Pow pi x0 Add Mul -3 log x2 x0 x0 -1 sqrt Add 1 Mul x0 sinh Add Pow sqrt Mul x0 Pow x0 atanh Pow pi x0 Add Mul -3 log x2 x0 x0 -1 