asec Mul Add x3 pi Mul Pow atanh x0 Mul tan sinh x0 asec x0 x0 
Mul Mul Add x3 pi Add Mul x0 Mul Pow atanh x0 Add Mul tan sinh x0 asec x0 -1 Add Mul Mul tan sinh x0 asec x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul atanh x0 log atanh x0 Add Mul asec x0 Mul Pow sec sinh x0 2 cosh x0 Mul tan sinh x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow atanh x0 Mul tan sinh x0 asec x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul Add x3 pi Mul Pow atanh x0 Mul tan sinh x0 asec x0 x0 Mul Add x3 pi Mul Pow atanh x0 Mul tan sinh x0 asec x0 x0 -1 Mul Add x3 pi Mul Pow atanh x0 Mul tan sinh x0 asec x0 x0 Mul Add x3 pi Mul Pow atanh x0 Mul tan sinh x0 asec x0 x0 -1 