acsch Mul x0 Mul Pow Mul x0 Mul x0 x1 x0 Pow asec Add x3 x0 exp Add x0 pi 
Mul Mul -1 Add Mul Pow Mul x0 Mul x0 x1 x0 Pow asec Add x3 x0 exp Add x0 pi Mul x0 Add Mul Pow asec Add x3 x0 exp Add x0 pi Mul Pow Mul x0 Mul x0 x1 Add x0 -1 Add Mul x0 Add Mul x0 x1 Mul x0 x1 Mul Mul x0 Mul x0 x1 log Mul x0 Mul x0 x1 Mul Pow Mul x0 Mul x0 x1 x0 Mul Pow asec Add x3 x0 Add exp Add x0 pi -1 Add Mul exp Add x0 pi Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add x3 x0 Add x3 x0 -1 Add x3 x0 Add x3 x0 -1 Mul Mul asec Add x3 x0 log asec Add x3 x0 exp Add x0 pi Pow Mul Mul Mul x0 Mul Pow Mul x0 Mul x0 x1 x0 Pow asec Add x3 x0 exp Add x0 pi Mul x0 Mul Pow Mul x0 Mul x0 x1 x0 Pow asec Add x3 x0 exp Add x0 pi sqrt Add 1 Mul -1 Pow Mul Mul x0 Mul Pow Mul x0 Mul x0 x1 x0 Pow asec Add x3 x0 exp Add x0 pi Mul x0 Mul Pow Mul x0 Mul x0 x1 x0 Pow asec Add x3 x0 exp Add x0 pi -1 -1 