Mul Add x0 Pow asinh exp x0 Pow asec x0 Add Add x0 Mul Pow x0 x6 x0 Mul acosh x1 pi 4 
Mul 4 Add 1 Mul Pow asinh exp x0 Add Pow asec x0 Add Add x0 Mul Pow x0 x6 x0 Mul acosh x1 pi -1 Add Mul Pow asec x0 Add Add x0 Mul Pow x0 x6 x0 Mul acosh x1 pi Mul exp x0 Pow sqrt Add 1 Mul exp x0 exp x0 -1 Mul Mul asinh exp x0 log asinh exp x0 Mul Pow asec x0 Add Add Add x0 Mul Pow x0 x6 x0 Mul acosh x1 pi -1 Add Mul Add Add x0 Mul Pow x0 x6 x0 Mul acosh x1 pi Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Mul Mul asec x0 log asec x0 Add 1 Add Mul x0 Mul Pow x0 Add x6 -1 x6 Pow x0 x6 