sech Mul x3 acosh Mul Pow x0 pi log Mul x0 Mul 3 Add x0 Add x3 Add pi x0 
Mul Mul tanh Mul x3 acosh Mul Pow x0 pi log Mul x0 Mul 3 Add x0 Add x3 Add pi x0 Mul -1 sech Mul x3 acosh Mul Pow x0 pi log Mul x0 Mul 3 Add x0 Add x3 Add pi x0 Mul x3 Mul Add Mul log Mul x0 Mul 3 Add x0 Add x3 Add pi x0 Mul Pow x0 Add pi -1 pi Mul Pow x0 pi Mul Add Mul 3 Add x0 Add x3 Add pi x0 Mul x0 5 Pow Mul x0 Mul 3 Add x0 Add x3 Add pi x0 -1 Pow Mul sqrt Add Mul Pow x0 pi log Mul x0 Mul 3 Add x0 Add x3 Add pi x0 -1 sqrt Add 1 Mul Pow x0 pi log Mul x0 Mul 3 Add x0 Add x3 Add pi x0 -1 