Add acosh Mul Add Pow asech acot x1 Mul x7 Add x0 Mul 2 x0 x0 Add x0 x0 Pow x7 pi 
Mul Add Mul Add x0 x0 Add Mul Pow asech acot x1 Add Mul x7 Add x0 Mul 2 x0 -1 Mul Mul asech acot x1 log asech acot x1 Mul x7 3 1 Mul Add Pow asech acot x1 Mul x7 Add x0 Mul 2 x0 x0 2 Pow Mul sqrt Add Mul Add Pow asech acot x1 Mul x7 Add x0 Mul 2 x0 x0 Add x0 x0 -1 sqrt Add 1 Mul Add Pow asech acot x1 Mul x7 Add x0 Mul 2 x0 x0 Add x0 x0 -1 