Pow Add x0 Pow Pow asech x3 Add x0 Add x0 Pow Add acosh pi x5 x0 x0 x0 
Mul Pow Add x0 Pow Pow asech x3 Add x0 Add x0 Pow Add acosh pi x5 x0 x0 Add x0 -1 Add Mul x0 Add 1 Mul Pow Pow asech x3 Add x0 Add x0 Pow Add acosh pi x5 x0 Add x0 -1 Add Mul x0 Mul Pow asech x3 Add Add x0 Add x0 Pow Add acosh pi x5 x0 -1 Mul Mul asech x3 log asech x3 Add 1 Add 1 Mul Pow Add acosh pi x5 Add x0 -1 Mul Add acosh pi x5 log Add acosh pi x5 Mul Pow asech x3 Add x0 Add x0 Pow Add acosh pi x5 x0 log Pow asech x3 Add x0 Add x0 Pow Add acosh pi x5 x0 Mul Add x0 Pow Pow asech x3 Add x0 Add x0 Pow Add acosh pi x5 x0 x0 log Add x0 Pow Pow asech x3 Add x0 Add x0 Pow Add acosh pi x5 x0 x0 